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/debug.adb | |
| 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/debug.adb')
0 files changed, 0 insertions, 0 deletions