diff options
| author | Claire Dross <dross@adacore.com> | 2021-04-12 09:48:48 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-29 14:23:48 +0000 |
| commit | 23a5c0fe8abc2f823be049a991eafe36fd31f5d7 (patch) | |
| tree | 70d343385d8f8c99bc9c84acbd448b72206898b6 /gcc/gcc.c | |
| parent | bd881d83c11fa1d8779e076708ef72be6fc2dbe7 (diff) | |
| download | gcc-23a5c0fe8abc2f823be049a991eafe36fd31f5d7.zip gcc-23a5c0fe8abc2f823be049a991eafe36fd31f5d7.tar.gz gcc-23a5c0fe8abc2f823be049a991eafe36fd31f5d7.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gcc.c')
0 files changed, 0 insertions, 0 deletions