diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:47:17 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:47:17 +0200 |
| commit | ac072cb2f4dd884d48fb7527cadf2aa0b1a656d0 (patch) | |
| tree | 18f7a061ea1bffce8cef6c5638af132a9dcb3ded /gcc/ada/debug.adb | |
| parent | cc6f5d75edd7727c9453cdfab4f03ae84b099b0a (diff) | |
| download | gcc-ac072cb2f4dd884d48fb7527cadf2aa0b1a656d0.zip gcc-ac072cb2f4dd884d48fb7527cadf2aa0b1a656d0.tar.gz gcc-ac072cb2f4dd884d48fb7527cadf2aa0b1a656d0.tar.bz2 | |
[multiple changes]
2014-07-30 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb (Analyze_If_Expression): Resolve condition before
analyzing branches.
* sem_eval.adb (Out_Of_Range): Check for statically unevaluated
expression case.
2014-07-30 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Analyze_Aspect, predicate cases): Diagnose use
of predicate aspect on entity other than a type.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Body_Has_Contract): New predicate to determine
when a subprogram body without a previous spec cannot be inlined
in GNATprove mode, because it includes aspects or pragmas that
generate a SPARK contract clause.
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): A subprogram
instance cannot be inlined.
From-SVN: r213247
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions