diff options
| author | Claire Dross <dross@adacore.com> | 2021-09-10 12:05:27 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-05 08:20:01 +0000 |
| commit | 640bda34f0886fd30396981780557096b4c4d6ed (patch) | |
| tree | bcc138ffd1c4f425b094584e752883fc74471504 /gcc | |
| parent | 439dae60ebf25ad432e9a654d10e10581771713a (diff) | |
| download | gcc-640bda34f0886fd30396981780557096b4c4d6ed.zip gcc-640bda34f0886fd30396981780557096b4c4d6ed.tar.gz gcc-640bda34f0886fd30396981780557096b4c4d6ed.tar.bz2 | |
[Ada] Disable contract cases on formal containers
gcc/ada/
* libgnat/a-cfdlli.ads: Use pragma Assertion_Policy to disable
contract cases at execution.
* libgnat/a-cfinve.ads: Idem.
* libgnat/a-cofove.ads: Idem.
* libgnat/a-cfhase.ads: Idem.
* libgnat/a-cfhama.ads: Idem.
* libgnat/a-cforse.ads: Idem.
* libgnat/a-cforma.ads: Idem.
Diffstat (limited to 'gcc')
| -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 |