diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 14:21:37 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 14:21:37 +0200 |
commit | fb159eb789755380ef1ec61001d0a78734400d0f (patch) | |
tree | c36d888547dab7791e17fd4bfe05b11f59fb05c4 /gcc/ada/types.ads | |
parent | 78cef47f96b16996b65a3a53a7166f5daf4d7f27 (diff) | |
download | gcc-fb159eb789755380ef1ec61001d0a78734400d0f.zip gcc-fb159eb789755380ef1ec61001d0a78734400d0f.tar.gz gcc-fb159eb789755380ef1ec61001d0a78734400d0f.tar.bz2 |
[multiple changes]
2015-10-20 Steve Baird <baird@adacore.com>
* pprint.adb: Code clean up.
2015-10-20 Bob Duff <duff@adacore.com>
* a-cfinve.ads, a-coboho.ads: Improve comments.
* a-coboho.adb (Size_In_Storage_Elements): Improve error message
in case of "Size is too big" exception.
2015-10-20 Bob Duff <duff@adacore.com>
* a-contai.ads: Remove check names (moved to snames.ads-tmpl).
* snames.ads-tmpl: Add check names that were previously in
a-contai.ads, so they are now visible in configuration files.
* types.ads: Add checks corresponding to snames.ads-tmpl.
From-SVN: r229069
Diffstat (limited to 'gcc/ada/types.ads')
-rw-r--r-- | gcc/ada/types.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index af772fa..8b21b10 100644 --- a/gcc/ada/types.ads +++ b/gcc/ada/types.ads @@ -679,11 +679,13 @@ package Types is Storage_Check : constant := 15; Tag_Check : constant := 16; Validity_Check : constant := 17; + Container_Checks : constant := 18; + Tampering_Check : constant := 19; -- Values used to represent individual predefined checks (including the -- setting of Atomic_Synchronization, which is implemented internally using -- a "check" whose name is Atomic_Synchronization). - All_Checks : constant := 18; + All_Checks : constant := 20; -- Value used to represent All_Checks value subtype Predefined_Check_Id is Check_Id range 1 .. All_Checks; |