2015-11-18 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 18 Nov 2015 10:03:44 +0000 (10:03 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 18 Nov 2015 10:03:44 +0000 (10:03 +0000)
commit747426dbbe51f667e9717283acef75b193f3cc20
tree51c383861941a122ba6296c8658ad90d4501fb03
parent1a4617375430ff36eb791481fe2bcaefe81f9271
2015-11-18  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_util.adb (Has_Full_Default_Initialization):
Perform the test for the presence of pragma
Default_Initial_Condition prior to the specialized type
checks. Add a missing case where the lack of a pragma argument
yields full default initialization.

2015-11-18  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_res.adb (Resolve_Entity_Name): Do not check
for elaboration issues when a variable appears as the name of
an object renaming declaration as this constitutes an aliasing,
not a read.

2015-11-18  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Overlap_Check): An actual that is an aggregate
cannot overlap with another actual, and no check should be
generated for it.
* targparm.ads: Fix typos.

2015-11-18  Pascal Obry  <obry@adacore.com>

* adaint.c: Routine __gnat_killprocesstree only implemented on
Linux and Windows.

2015-11-18  Pascal Obry  <obry@adacore.com>

* g-ctrl_c.adb: Minor style fixes.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230523 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/adaint.c
gcc/ada/checks.adb
gcc/ada/g-ctrl_c.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/targparm.ads