[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 14:02:45 +0000 (16:02 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 14:02:45 +0000 (16:02 +0200)
commit0b3d16c08a9b4082e5b3fbfb82e282f49fe7ac1e
tree150e949d222d419224ca50715b01a272e4e5b5ef
parent4637729f3ee4f001e5c4fec92fe26d13b91d9f97
[multiple changes]

2011-08-02  Thomas Quinot  <quinot@adacore.com>

* s-taskin.ads: Minor reformatting.

2011-08-02  Emmanuel Briot  <briot@adacore.com>

* g-comlin.adb (Display_Help): swap the order in which it prints the
short help and the general usage.

2011-08-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): copy properly
the aspect declarations and attach them to the generic copy for
subsequent analysis.
(Analyze_Subprogram_Instantiation): copy explicitly the aspect
declarations of the generic tree to the new subprogram declarations.
* sem_attr.adb (Check_Precondition_Postcondition): recognize
conditions that apply to a subprogram instance.

2011-08-02  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Clarify doc on pragma Source_File_Name[_Project].

2011-08-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Derived_Type_Declaration): When checking that a untagged
private type with a tagged full view is not derived in the immediate
scope of the partial view, (RM 7.3 (7)) use the scope of the base type.

From-SVN: r177157
gcc/ada/ChangeLog
gcc/ada/g-comlin.adb
gcc/ada/gnat_rm.texi
gcc/ada/s-taskin.ads
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_prag.adb