diff options
| author | Robert Dewar <dewar@adacore.com> | 2007-09-26 12:42:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-09-26 12:42:29 +0200 |
| commit | 2642f9987ea72b416bce764ca3d95c19c9e77836 (patch) | |
| tree | c18c110446e28ac9daaa52f59a3c7a207d5e4632 /gcc/ada/gnat1drv.adb | |
| parent | 6e818918f2c6dab5258d709562aad8a836feaa1f (diff) | |
| download | gcc-2642f9987ea72b416bce764ca3d95c19c9e77836.tar.gz | |
checks.adb, [...]: Improve warnings for address overlays.
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
From-SVN: r128785
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 |