diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-05 11:21:32 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-05 11:21:32 +0000 |
| commit | c8af2df9793abebdc2ba9088aa7095779a72b577 (patch) | |
| tree | c8503545c9acec5c331a2ce08b95dbe7d391687e /gcc/ada/par-prag.adb | |
| parent | 47a467474ca6f911ffd8b32ffd13b9abf1a8ef0a (diff) | |
| download | gcc-c8af2df9793abebdc2ba9088aa7095779a72b577.tar.gz | |
2012-12-05 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Traverse_Aspects): Ensure we always have
an entry in the sloc -> SCO map for invariants, since
Set_SCO_Pragma_Enabled is called with that sloc when checks
are enabled.
2012-12-05 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb: Minor reformatting.
2012-12-05 Hristian Kirtchev <kirtchev@adacore.com>
* par-prag.adb: Checks and processing of pragma Assume are
carried out by Sem_Prag.
* sem_prag.adb (Analyze_Pragma): Check the legality of pragma
Assume.
* snames.ads-tmpl: Add new name Assume. Add a pragma identifier
for Assume.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194215 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/par-prag.adb')
| -rw-r--r-- | gcc/ada/par-prag.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb index 9d974f3b09a..e1f394b2853 100644 --- a/gcc/ada/par-prag.adb +++ b/gcc/ada/par-prag.adb @@ -1093,6 +1093,7 @@ begin when Pragma_Abort_Defer | Pragma_Assertion_Policy | + Pragma_Assume | Pragma_Assume_No_Invalid_Values | Pragma_AST_Entry | Pragma_All_Calls_Remote | |