diff options
| -rw-r--r-- | gcc/ada/libgnat/a-cfdlli.ads | 1 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-cfhama.ads | 1 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-cfhase.ads | 1 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-cfinve.ads | 1 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-cforma.ads | 1 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-cforse.ads | 1 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-cofove.ads | 1 |
7 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/a-cfdlli.ads b/gcc/ada/libgnat/a-cfdlli.ads index 590643e..ded496b 100644 --- a/gcc/ada/libgnat/a-cfdlli.ads +++ b/gcc/ada/libgnat/a-cfdlli.ads @@ -44,6 +44,7 @@ is pragma Assertion_Policy (Pre => Ignore); pragma Assertion_Policy (Post => Ignore); + pragma Assertion_Policy (Contract_Cases => Ignore); pragma Annotate (CodePeer, Skip_Analysis); type List (Capacity : Count_Type) is private with diff --git a/gcc/ada/libgnat/a-cfhama.ads b/gcc/ada/libgnat/a-cfhama.ads index 2b49c13..59e295d 100644 --- a/gcc/ada/libgnat/a-cfhama.ads +++ b/gcc/ada/libgnat/a-cfhama.ads @@ -69,6 +69,7 @@ is pragma Assertion_Policy (Pre => Ignore); pragma Assertion_Policy (Post => Ignore); + pragma Assertion_Policy (Contract_Cases => Ignore); pragma Annotate (CodePeer, Skip_Analysis); type Map (Capacity : Count_Type; Modulus : Hash_Type) is private with diff --git a/gcc/ada/libgnat/a-cfhase.ads b/gcc/ada/libgnat/a-cfhase.ads index 9bcd8ce..23b3b6d 100644 --- a/gcc/ada/libgnat/a-cfhase.ads +++ b/gcc/ada/libgnat/a-cfhase.ads @@ -67,6 +67,7 @@ is pragma Assertion_Policy (Pre => Ignore); pragma Assertion_Policy (Post => Ignore); + pragma Assertion_Policy (Contract_Cases => Ignore); pragma Annotate (CodePeer, Skip_Analysis); type Set (Capacity : Count_Type; Modulus : Hash_Type) is private with diff --git a/gcc/ada/libgnat/a-cfinve.ads b/gcc/ada/libgnat/a-cfinve.ads index 9b95437..bd0c334 100644 --- a/gcc/ada/libgnat/a-cfinve.ads +++ b/gcc/ada/libgnat/a-cfinve.ads @@ -60,6 +60,7 @@ is pragma Assertion_Policy (Pre => Ignore); pragma Assertion_Policy (Post => Ignore); + pragma Assertion_Policy (Contract_Cases => Ignore); pragma Annotate (CodePeer, Skip_Analysis); subtype Extended_Index is Index_Type'Base diff --git a/gcc/ada/libgnat/a-cforma.ads b/gcc/ada/libgnat/a-cforma.ads index a1cad03..048e7cb 100644 --- a/gcc/ada/libgnat/a-cforma.ads +++ b/gcc/ada/libgnat/a-cforma.ads @@ -68,6 +68,7 @@ is pragma Assertion_Policy (Pre => Ignore); pragma Assertion_Policy (Post => Ignore); + pragma Assertion_Policy (Contract_Cases => Ignore); pragma Annotate (CodePeer, Skip_Analysis); function Equivalent_Keys (Left, Right : Key_Type) return Boolean with diff --git a/gcc/ada/libgnat/a-cforse.ads b/gcc/ada/libgnat/a-cforse.ads index e1d7c91..db7c586 100644 --- a/gcc/ada/libgnat/a-cforse.ads +++ b/gcc/ada/libgnat/a-cforse.ads @@ -64,6 +64,7 @@ is pragma Assertion_Policy (Pre => Ignore); pragma Assertion_Policy (Post => Ignore); + pragma Assertion_Policy (Contract_Cases => Ignore); pragma Annotate (CodePeer, Skip_Analysis); function Equivalent_Elements (Left, Right : Element_Type) return Boolean diff --git a/gcc/ada/libgnat/a-cofove.ads b/gcc/ada/libgnat/a-cofove.ads index a4ed7e5..6d3f486 100644 --- a/gcc/ada/libgnat/a-cofove.ads +++ b/gcc/ada/libgnat/a-cofove.ads @@ -50,6 +50,7 @@ is pragma Assertion_Policy (Pre => Ignore); pragma Assertion_Policy (Post => Ignore); + pragma Assertion_Policy (Contract_Cases => Ignore); pragma Annotate (CodePeer, Skip_Analysis); subtype Extended_Index is Index_Type'Base |