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/ada/libgnat/a-cfinve.ads | |
| 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/ada/libgnat/a-cfinve.ads')
| -rw-r--r-- | gcc/ada/libgnat/a-cfinve.ads | 1 |
1 files changed, 1 insertions, 0 deletions
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 |