[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 12:16:32 +0000 (14:16 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 12:16:32 +0000 (14:16 +0200)
commit315f0c424be6ad994f0253bd09d30c53cf47af8a
tree2269c6989b4176b686f4275fc8b058484766a119
parent5efb89d0e1a8aa19fafd64e7c7bebde46cccdd14
[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
20 files changed:
gcc/ada/ChangeLog
gcc/ada/clean.adb
gcc/ada/exp_util.adb
gcc/ada/gnatls.adb
gcc/ada/gnatname.adb
gcc/ada/make.adb
gcc/ada/make_util.adb [new file with mode: 0644]
gcc/ada/make_util.ads [new file with mode: 0644]
gcc/ada/makeusg.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch5.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_prag.ads
gcc/ada/sem_util.ads
gcc/ada/sem_warn.adb
gcc/ada/sinput.adb
gcc/ada/sinput.ads
gcc/ada/switch-m.adb
gcc/ada/switch-m.ads