2011-09-06 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Sep 2011 09:32:56 +0000 (09:32 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Sep 2011 09:32:56 +0000 (09:32 +0000)
commit431060a95e80fdda03f7a701d3ed84651b9c3125
treecb48cd46a7dbac9e5aec82b437ec604dcc3c66a8
parent7068ba79ee3dafb64422373bd4ba154c9583b211
2011-09-06  Robert Dewar  <dewar@adacore.com>

* g-socket.adb: Minor reformatting

2011-09-06  Javier Miranda  <miranda@adacore.com>

* ali.adb (Scan_ALI): Add missing support to load references of
entities imported from other languages.
* ali.ads (Xref_Record): Adding new fields to store the language and
name of an imported entity.
* lib-xref.adb (Output_Import_Export_Info): Fix typo
in comment.

2011-09-06  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Type_Invariant): A type invariant
is allowed on a full type declaration if it is the completion of
a private declarations.
* sem_ch13.adb (Analyze_Aspect_Specifications): An invariant
aspect is allowed on a full type declaration in the private part
of a package.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178577 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/ali.adb
gcc/ada/ali.ads
gcc/ada/g-socket.adb
gcc/ada/lib-xref.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb