diff options
| author | Thomas Quinot <quinot@adacore.com> | 2013-01-02 09:24:58 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 10:24:58 +0100 |
| commit | 8f252d27b1a28de7b0df05cd0caf826e223ffa43 (patch) | |
| tree | b8fb011a72733bc5f7f95c3ff4f3c8d8186ae755 /gcc/ada/scos.ads | |
| parent | e0d7fe6dc7cd55a725891db4073df5d514e6d196 (diff) | |
| download | gcc-8f252d27b1a28de7b0df05cd0caf826e223ffa43.zip gcc-8f252d27b1a28de7b0df05cd0caf826e223ffa43.tar.gz gcc-8f252d27b1a28de7b0df05cd0caf826e223ffa43.tar.bz2 | |
scos.ads (In_Decision): Add missing entry for 'a'.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* scos.ads (In_Decision): Add missing entry for 'a'.
* sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
* sem_ch13.adb: Minor comment update.
From-SVN: r194777
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index 0082099..dc4248e 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -385,8 +385,8 @@ package SCOs is Table_Increment => 300); Is_Decision : constant array (Character) of Boolean := - ('E' | 'G' | 'I' | 'P' | 'A' | 'W' | 'X' => True, - others => False); + ('E' | 'G' | 'I' | 'P' | 'a' | 'A' | 'W' | 'X' => True, + others => False); -- Indicates which C1 values correspond to decisions -- The SCO_Table_Entry values appear as follows: |