2017-09-18 Bob Duff <duff@adacore.com>
commit9ab704075d5c4bc12eb2589f71e6d482b186cd38
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 18 Sep 2017 09:11:02 +0000 (18 09:11 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 18 Sep 2017 09:11:02 +0000 (18 09:11 +0000)
tree215409f81228d96bb783b501f1dda1a194ca0e28
parentc842ef7a14ae20e0b2257d6890d9153b7e864276
2017-09-18  Bob Duff  <duff@adacore.com>

* sem_ch4.adb (Analyze_Qualified_Expression): Give an error if the type
mark refers to the current instance. Set the type to Any_Type in that
case, to avoid later crashes.

2017-09-18  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Replace_Discriminant_References): New procedure,
subsidiary of Build_Assignment, used to handle the initialization code
for a mutable record component whose default value is an aggregate that
sets the values of the discriminants of the components.

2017-09-18  Ed Schonberg  <schonberg@adacore.com>

* gnat.dg/default_variants.adb: New testcase.

2017-09-18  Eric Botcazou  <ebotcazou@adacore.com>

* sem_ch13.adb (Analyze_Attribute_Definition_Clause) <Address>: Mark
the entity as being volatile for an overlay that toggles the scalar
storage order.

2017-09-18  Fedor Rybin  <frybin@adacore.com>

* doc/gnat_ugn/gnat_utility_programs.rst: Document that gnattest
options -U main and --harness-only are not compatible.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@252913 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst
gcc/ada/exp_ch3.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch4.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/default_variants.adb [new file with mode: 0644]