diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-09-26 10:42:29 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-09-26 10:42:29 +0000 |
| commit | 83f8f0a61fc2a3e1251c1e13591445e84f6492a7 (patch) | |
| tree | c18c110446e28ac9daaa52f59a3c7a207d5e4632 /gcc/ada/gnat1drv.adb | |
| parent | e7e688ddb985f3538b2b821dfc2a7387faff071f (diff) | |
| download | gcc-83f8f0a61fc2a3e1251c1e13591445e84f6492a7.tar.gz | |
2007-09-26 Robert Dewar <dewar@adacore.com>
* checks.adb, gnat1drv.adb, sem_util.ads: Improve warnings for address
overlays.
* sem_ch13.ads, sem_ch13.adb: Improve warnings for address overlays
(Analyze_Record_Representation_Clause): Suppress junk warning for
missing component clause.
(Analyze_Attribute_Definition_Clause, case Address): Apply the special
tests for controlled type overlay to composites with controlled
components.
(Analyze_Record_Representation_Clause): Add reference for component name
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128785 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 7ab1d3687e1..743520ee799 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -442,6 +442,7 @@ begin if Compilation_Errors then Treepr.Tree_Dump; Sem_Ch13.Validate_Unchecked_Conversions; + Sem_Ch13.Validate_Address_Clauses; Errout.Output_Messages; Namet.Finalize; @@ -622,6 +623,7 @@ begin Write_Eol; Sem_Ch13.Validate_Unchecked_Conversions; + Sem_Ch13.Validate_Address_Clauses; Errout.Finalize (Last_Call => True); Errout.Output_Messages; Treepr.Tree_Dump; @@ -654,6 +656,7 @@ begin or else Targparm.VM_Target /= No_VM) then Sem_Ch13.Validate_Unchecked_Conversions; + Sem_Ch13.Validate_Address_Clauses; Errout.Finalize (Last_Call => True); Errout.Output_Messages; Write_ALI (Object => False); @@ -704,6 +707,11 @@ begin Sem_Ch13.Validate_Unchecked_Conversions; + -- Validate address clauses (again using alignment values annotated + -- by the backend where possible). + + Sem_Ch13.Validate_Address_Clauses; + -- Now we complete output of errors, rep info and the tree info. These -- are delayed till now, since it is perfectly possible for gigi to -- generate errors, modify the tree (in particular by setting flags |