diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 16:02:45 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 16:02:45 +0200 |
| commit | 0b3d16c08a9b4082e5b3fbfb82e282f49fe7ac1e (patch) | |
| tree | 150e949d222d419224ca50715b01a272e4e5b5ef /gcc/genautomata.c | |
| parent | 4637729f3ee4f001e5c4fec92fe26d13b91d9f97 (diff) | |
| download | gcc-0b3d16c08a9b4082e5b3fbfb82e282f49fe7ac1e.zip gcc-0b3d16c08a9b4082e5b3fbfb82e282f49fe7ac1e.tar.gz gcc-0b3d16c08a9b4082e5b3fbfb82e282f49fe7ac1e.tar.bz2 | |
[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
Diffstat (limited to 'gcc/genautomata.c')
0 files changed, 0 insertions, 0 deletions