diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-20 15:15:34 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 16:15:34 +0100 |
| commit | 65441a1ec0101063a6f5869bce40ed3cfb051f51 (patch) | |
| tree | c3ea2492b8063eb3e367076a7a649f1c50270310 /gcc/ada/usage.adb | |
| parent | 800da97743ec985d0de0215afcf6bb44b7cd23c8 (diff) | |
| download | gcc-65441a1ec0101063a6f5869bce40ed3cfb051f51.zip gcc-65441a1ec0101063a6f5869bce40ed3cfb051f51.tar.gz gcc-65441a1ec0101063a6f5869bce40ed3cfb051f51.tar.bz2 | |
sem_attr.adb (Analyze_Attribute, [...]): Allow Loop_Entry in Assert, Assert_And_Cut, and Assume pragmas.
2014-01-20 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Loop_Entry): Allow
Loop_Entry in Assert, Assert_And_Cut, and Assume pragmas.
* sem_prag.adb (Analyze_Pragma, case Assert[_And_Cut], Assume):
Allow Loop_Entry to be used in these pragmas if they appear in
an appropriate context.
(Placement_Error): Specialize error
message for pragma Assert[_And_Cut] or pragma Assume containing
Loop_Entry attribute.
* a-exexpr-gcc.adb, sinput.adb: Minor reformatting.
* s-excmac-arm.ads, s-except.ads, s-excmac-gcc.ads: Minor reformatting
and code clean ups.
From-SVN: r206818
Diffstat (limited to 'gcc/ada/usage.adb')
0 files changed, 0 insertions, 0 deletions