[Ada] AI12-0309 Missing checks for pragma Suppress
[gcc.git] / gcc / ada / types.ads
index 9744f2cc101bf6ba0cbb74bfd9f45d3d3cf351d9..655a28e9741fa15f63bce8820b3c5b66ab6cb588 100644 (file)
@@ -687,11 +687,13 @@ package Types is
    Validity_Check         : constant := 17;
    Container_Checks       : constant := 18;
    Tampering_Check        : constant := 19;
+   Program_Error_Check    : constant := 20;
+   Tasking_Check          : constant := 21;
    --  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 := 20;
+   All_Checks : constant := 22;
    --  Value used to represent All_Checks value
 
    subtype Predefined_Check_Id is Check_Id range 1 .. All_Checks;