diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-14 10:27:05 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-14 10:27:05 +0200 |
| commit | e074d476c09c72c6e35c904a61caf874afbb567a (patch) | |
| tree | ee6e80da2c8b0f47fcfe335443bad67c02958fa3 /gcc/ada/sem_ch13.adb | |
| parent | 8255bc9ded23dd735b703d94855c60f4713310d2 (diff) | |
| download | gcc-e074d476c09c72c6e35c904a61caf874afbb567a.zip gcc-e074d476c09c72c6e35c904a61caf874afbb567a.tar.gz gcc-e074d476c09c72c6e35c904a61caf874afbb567a.tar.bz2 | |
[multiple changes]
2010-06-14 Robert Dewar <dewar@adacore.com>
* a-convec.adb, sem_prag.adb, checks.adb: Minor reformatting
2010-06-14 Eric Botcazou <ebotcazou@adacore.com>
* init.c: Code clean up.
2010-06-14 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address): Do
not insert address clause in table for later validation if type of
entity is generic, to prevent possible spurious errors.
* sem_ch8.adb: Code clean up.
2010-06-14 Ben Brosgol <brosgol@adacore.com>
* gnat_ugn.texi: Expanded @ovar macro inline to solve problem with
texi2pdf and texi2html.
Document how to change scheduling properties on HP-UX.
2010-06-14 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: Remove misleading comments.
From-SVN: r160711
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 6542dd2..fe95611 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -1026,13 +1026,19 @@ package body Sem_Ch13 is -- check till after code generation to take full advantage -- of the annotation done by the back end. This entry is -- only made if the address clause comes from source. + -- If the entity has a generic type, the check will be + -- performed in the instance if the actual type justfies it, + -- and we do not insert the clause in the table to prevent + -- spurious warnings. if Address_Clause_Overlay_Warnings and then Comes_From_Source (N) and then Present (O_Ent) and then Is_Object (O_Ent) then - Address_Clause_Checks.Append ((N, U_Ent, O_Ent, Off)); + if not Is_Generic_Type (Etype (U_Ent)) then + Address_Clause_Checks.Append ((N, U_Ent, O_Ent, Off)); + end if; -- If variable overlays a constant view, and we are -- warning on overlays, then mark the variable as |