diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-05 12:37:33 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-05 12:37:33 +0200 |
| commit | 6ee07c611ca3dd4f70bd9744cf0342e8ff536c69 (patch) | |
| tree | 9c3d1dbd5029b1bbb2fdc94deeb1ffc41d72c0b9 /gcc/ada/lib-xref.ads | |
| parent | 8b30e1668e374318a490f31c457a1a23a959c0da (diff) | |
| download | gcc-6ee07c611ca3dd4f70bd9744cf0342e8ff536c69.zip gcc-6ee07c611ca3dd4f70bd9744cf0342e8ff536c69.tar.gz gcc-6ee07c611ca3dd4f70bd9744cf0342e8ff536c69.tar.bz2 | |
[multiple changes]
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Update doc on missing pragmas.
* sem_ch12.adb: Minor comment additions.
2013-07-05 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Ensure that
Contract_Cases, Depends and Global are analyzed when they apply
to a subprogram compilation unit. The pragmas are all added
unconditionally to the construct's contract. This ensures that
proof tools can locate the pragmas.
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Freeze_Actual_Profile): An instance within
a generic unit does not freeze a generic private type of the
enclosing generic. This rule must also apply to a type derived
from a generic private type.
From-SVN: r200704
Diffstat (limited to 'gcc/ada/lib-xref.ads')
0 files changed, 0 insertions, 0 deletions