diff options
| author | Robert Dewar <dewar@adacore.com> | 2013-04-23 09:56:06 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-23 11:56:06 +0200 |
| commit | 20a65dcba9a95dd40a8794324e833d5ff9f07544 (patch) | |
| tree | 52f36a03473183940fba9d55f750c77e3fe696b1 /gcc/ada/exp_prag.adb | |
| parent | 2e86f67917967e048d40e25579bf49414a85d8d9 (diff) | |
| download | gcc-20a65dcba9a95dd40a8794324e833d5ff9f07544.zip gcc-20a65dcba9a95dd40a8794324e833d5ff9f07544.tar.gz gcc-20a65dcba9a95dd40a8794324e833d5ff9f07544.tar.bz2 | |
exp_prag.adb (Expand_Pragma_Check): Check for Assert rather than Assertion.
2013-04-23 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): Check for Assert rather
than Assertion.
* sem_prag.adb (Is_Valid_Assertion_Kind): Moved to spec
(Effective_Name): New function (Analyze_Pragma, case Check):
Disallow [Statement_]Assertions (Check_Kind): Implement
Statement_Assertions (Check_Applicable_Policy): Use Effective_Name
(Is_Valid_Assertion_Kind): Allow Statement_Assertions.
* sem_prag.ads (Is_Valid_Assertion_Kind): Moved here from body
(Effective_Name): New function.
* sem_res.adb: Minor reformatting.
* snames.ads-tmpl (Name_Statement_Assertions): New entry.
* gnat_rm.texi: Add documentation of new assertion kind
Statement_Assertions.
From-SVN: r198187
Diffstat (limited to 'gcc/ada/exp_prag.adb')
| -rw-r--r-- | gcc/ada/exp_prag.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb index 38efb86..36191fb 100644 --- a/gcc/ada/exp_prag.adb +++ b/gcc/ada/exp_prag.adb @@ -377,7 +377,7 @@ package body Exp_Prag is -- For Assert, we just use the location - if Nam = Name_Assertion then + if Nam = Name_Assert then null; -- For predicate, we generate the string "predicate failed @@ -446,7 +446,7 @@ package body Exp_Prag is then return; - elsif Nam = Name_Assertion then + elsif Nam = Name_Assert then Error_Msg_N ("?A?assertion will fail at run time", N); else |