diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-06 14:16:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-06 14:16:32 +0200 |
| commit | 315f0c424be6ad994f0253bd09d30c53cf47af8a (patch) | |
| tree | 2269c6989b4176b686f4275fc8b058484766a119 /gcc/ada/sem_warn.adb | |
| parent | 5efb89d0e1a8aa19fafd64e7c7bebde46cccdd14 (diff) | |
| download | gcc-315f0c424be6ad994f0253bd09d30c53cf47af8a.zip gcc-315f0c424be6ad994f0253bd09d30c53cf47af8a.tar.gz gcc-315f0c424be6ad994f0253bd09d30c53cf47af8a.tar.bz2 | |
[multiple changes]
2017-09-06 Bob Duff <duff@adacore.com>
* exp_util.adb (Is_Displace_Call): Make sure it works for indirect
calls and the like.
2017-09-06 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Depends_Global): Reinforce test on object
declarations to only consider valid uses of Global/Depends those on
single concurrent objects.
2017-09-06 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch13.adb (Check_Record_Representation_Clause): Give an
error as soon as one of the specified components overlaps the
parent field.
2017-09-06 Arnaud Charlet <charlet@adacore.com>
* sem_prag.ads: minor fix typo in comment.
2017-09-06 Justin Squirek <squirek@adacore.com>
* sem_ch5.adb (Analyze_Block_Statement): Verify a block comes
from source before checking source references.
* sem_warn.adb (Check_References): Add check for internal block
before recursing.
2017-09-06 Vincent Celier <celier@adacore.com>
* make.adb, makeusg.adb, switch-m.adb, switch-m.ads, make_util.adb,
make_util.ads, sinput.adb, sinput.ads, clean.adb, gnatls.adb,
gnatname.adb: Remove the Project Manager from the GNAT tools.
2017-09-06 Bob Duff <duff@adacore.com>
* sem_util.ads: Minor comment fix.
2017-09-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Associations, case of Formal_Package):
Generate a freeze node for the actual of a formal package, if
the actual is declared in the same unit and has a corresponding
body, to prevent the current instance from being frozen before
the actual is.
From-SVN: r251786
Diffstat (limited to 'gcc/ada/sem_warn.adb')
| -rw-r--r-- | gcc/ada/sem_warn.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index c8136b0..cfc3f13 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -1670,17 +1670,17 @@ package body Sem_Warn is end if; end if; - -- Recurse into nested package or block. Do not recurse into a formal - -- package, because the corresponding body is not analyzed. + -- Recurse into a nested package or non-internal block, but do not + -- recurse into a formal package because the corresponding body is + -- not analyzed. <<Continue>> if (Is_Package_Or_Generic_Package (E1) and then Nkind (Parent (E1)) = N_Package_Specification and then Nkind (Original_Node (Unit_Declaration_Node (E1))) /= - N_Formal_Package_Declaration) - - or else Ekind (E1) = E_Block + N_Formal_Package_Declaration) + or else (Ekind (E1) = E_Block and then not Is_Internal (E1)) then Check_References (E1); end if; |