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/tree-inline.c | |
| 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/tree-inline.c')
0 files changed, 0 insertions, 0 deletions