[Ada] Disable contract cases on formal containers
authorClaire Dross <dross@adacore.com>
Fri, 10 Sep 2021 10:05:27 +0000 (12:05 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 5 Oct 2021 08:20:01 +0000 (08:20 +0000)
commit640bda34f0886fd30396981780557096b4c4d6ed
treebcc138ffd1c4f425b094584e752883fc74471504
parent439dae60ebf25ad432e9a654d10e10581771713a
[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.
gcc/ada/libgnat/a-cfdlli.ads
gcc/ada/libgnat/a-cfhama.ads
gcc/ada/libgnat/a-cfhase.ads
gcc/ada/libgnat/a-cfinve.ads
gcc/ada/libgnat/a-cforma.ads
gcc/ada/libgnat/a-cforse.ads
gcc/ada/libgnat/a-cofove.ads