OSDN Git Service

2012-01-30 Pascal Obry <obry@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Jan 2012 10:35:19 +0000 (10:35 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Jan 2012 10:35:19 +0000 (10:35 +0000)
commit9f269bd8f23b7fb54d3fbdcd9875034434cc958f
treeaea86832d6154b5897072ec342e07628034557e9
parenta82d9bf400d5b5a71ddfb41ba8caa25268ef7d06
2012-01-30  Pascal Obry  <obry@adacore.com>

* prj.ads, prj.adb (For_Each_Source): Add support for skipping
sources coming from an encapsulated library.

2012-01-30  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Process-Full_View): fix typo.
* sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
appear on a private type and the full view is available, ensure
existence of freeze node for full view.
(Build_Predicate_Function): Attach predicate function to both
views of a private type.

2012-01-30  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
for the project if either attribute Library_Interface or
Interfaces is declared.
(Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
Check_Interfaces.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183704 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/prj-nmsc.adb
gcc/ada/prj.adb
gcc/ada/prj.ads
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch3.adb