]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Disable Pre/Post in formal containers
authorClaire Dross <dross@adacore.com>
Mon, 12 Apr 2021 07:48:48 +0000 (09:48 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 29 Jun 2021 14:23:48 +0000 (14:23 +0000)
commit23a5c0fe8abc2f823be049a991eafe36fd31f5d7
tree70d343385d8f8c99bc9c84acbd448b72206898b6
parentbd881d83c11fa1d8779e076708ef72be6fc2dbe7
[Ada] Disable Pre/Post in formal containers

gcc/ada/

* libgnat/a-cfdlli.ads: Use pragma Assertion_Policy to disable
pre and postconditions.
* libgnat/a-cfhama.ads: Likewise.
* libgnat/a-cfhase.ads: Likewise.
* libgnat/a-cfinve.ads: Likewise.
* libgnat/a-cforma.ads: Likewise.
* libgnat/a-cforse.ads: Likewise.
* libgnat/a-cofove.ads: Likewise.
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