diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-07-05 10:37:33 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-07-05 10:37:33 +0000 |
| commit | a65131ff708246a6983ccc209e10509644d1b1bd (patch) | |
| tree | 9c3d1dbd5029b1bbb2fdc94deeb1ffc41d72c0b9 /libjava/stacktrace.cc | |
| parent | d5dd69b82c167215fdb5a86ca9a353d54a9c6735 (diff) | |
| download | ppe42-gcc-a65131ff708246a6983ccc209e10509644d1b1bd.tar.gz ppe42-gcc-a65131ff708246a6983ccc209e10509644d1b1bd.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200704 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/stacktrace.cc')
0 files changed, 0 insertions, 0 deletions
