OSDN Git Service

2012-07-16 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 16 Jul 2012 12:26:58 +0000 (12:26 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 16 Jul 2012 12:26:58 +0000 (12:26 +0000)
commit1398e76270e9b553b24ce53fe55bcdd4aa988d7e
tree169785dc0648022f79f9c1abb5d1b9da85e4201b
parent0c6c84bafa77d182d6edb272bae83988e35f0bf7
2012-07-16  Robert Dewar  <dewar@adacore.com>

* a-direct.adb, g-dirope.adb: Minor reformatting.

2012-07-16  Tristan Gingold  <gingold@adacore.com>

* a-except.ads, a-except-2005.ads: Remove outdated comment.

2012-07-16  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb (Subprogram_Name_Greater): Fix algorithm to
conform to documentation.

2012-07-16  Ed Schonberg  <schonberg@adacore.com>

* gnat1drv.adb (Check_Library_Items): Removed, no longer used.

2012-07-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Array_Type_Declaration): if component type has
invariants, the array type itself requires an invariant procedure.
* exp_ch3.ads, exp_ch3.adb (Build_Array_Invariant_Proc): new
procedure, to build a checking procedure that applies the
invariant check on some type T to each component of an array
of T's.  Code is similar to the construction of the init_proc
for an array, and handles multidimensional arrays by recursing
over successive dimensions.

2012-07-16  Hristian Kirtchev  <kirtchev@adacore.com>

* g-debpoo.adb: Revert previous change.

2012-07-16  Hristian Kirtchev  <kirtchev@adacore.com>

* freeze.adb (Freeze_Entity): Insert the itype reference to a
library-level class-wide subtype after the freeze node of the
equivalent record type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189526 138bc75d-0d04-0410-961f-82ee72b054a4
12 files changed:
gcc/ada/ChangeLog
gcc/ada/a-direct.adb
gcc/ada/a-except-2005.ads
gcc/ada/a-except.ads
gcc/ada/exp_ch3.adb
gcc/ada/exp_ch3.ads
gcc/ada/freeze.adb
gcc/ada/g-debpoo.adb
gcc/ada/g-dirope.adb
gcc/ada/gnat1drv.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch6.adb