2015-03-02 Robert Dewar <dewar@adacore.com>
commit95ac2d90ea5ca02ad6934b0769bfaaa7c982e417
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 Mar 2015 09:28:56 +0000 (2 09:28 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 Mar 2015 09:28:56 +0000 (2 09:28 +0000)
tree786f95a5c26b0859c8ac363ddf0bae78825fe7db
parent70eaa03199a944dbe7532101d5802e53c1b3da61
2015-03-02  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, exp_attr.adb, checks.adb, exp_aggr.adb: Minor
reformatting.

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

* sem_ch8.adb: extend use of Available_Subtype.

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Duplication_Error): Remove the special handling
of 'Class or _Class in the context of pre/postconditions.
(Process_Class_Wide_Condition): Remove the special handling of
'Class or _Class in the context of pre/postconditions.
* sem_util.adb (Original_Aspect_Pragma_Name): Names Pre_Class
and Post_Class no longer need to be converted to _Pre and _Post.
* sem_util.ads (Original_Aspect_Pragma_Name): Update the comment
on usage.

2015-03-02  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch6.adb (Process_Preconditions): Modify the
mechanism that find the first source declaration to correct exit
the loop once it has been found.

2015-03-02  Gary Dismukes  <dismukes@adacore.com>

* a-strsea.adb: Minor typo fix.

2015-03-02  Bob Duff  <duff@adacore.com>

* einfo.ads: Minor comment fixes.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221103 138bc75d-0d04-0410-961f-82ee72b054a4
12 files changed:
gcc/ada/ChangeLog
gcc/ada/a-strsea.adb
gcc/ada/checks.adb
gcc/ada/einfo.ads
gcc/ada/exp_aggr.adb
gcc/ada/exp_attr.adb
gcc/ada/exp_ch6.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch8.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads