2015-02-20 Robert Dewar <dewar@adacore.com>
commitd3bd629be52949f9454117291f7d088dc54a9257
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 20 Feb 2015 13:52:31 +0000 (20 13:52 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 20 Feb 2015 13:52:31 +0000 (20 13:52 +0000)
tree20bc25364bc62770280cbf378c2b583fc42214ad
parenta73afd90b2aabde5f66c582cdf96c93a6e8d443c
2015-02-20  Robert Dewar  <dewar@adacore.com>

* switch-c.adb, bindgen.adb: Minor reformatting.

2015-02-20  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Type_Invariant):
Invariant'class is allowed on an abstract type.

2015-02-20  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Definition): If the access definition is
for a protected component and defines an access to protected
subprogram, do not create an itype reference for it because a
full type declaration will be built in order to generate the
proper equivalent type.
(Analyze_Subtype_Declaration): Add information of incomplete
subtypes, for Ada 2012 extended uses of incomplete types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220856 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/bindgen.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_prag.adb
gcc/ada/switch-c.adb