diff options
| author | Yannick Moy <moy@adacore.com> | 2023-01-17 11:58:54 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-16 10:30:56 +0200 |
| commit | 04606c1229d709250deaf2999895e93ee5c189e9 (patch) | |
| tree | 615d08b8b3f603ae3b1c12a6eeb4d18b1d3369c8 /gcc/ada/usage.adb | |
| parent | 3c09e25e2c9cbd980a711fe4f654374fbf8affc0 (diff) | |
| download | gcc-04606c1229d709250deaf2999895e93ee5c189e9.zip gcc-04606c1229d709250deaf2999895e93ee5c189e9.tar.gz gcc-04606c1229d709250deaf2999895e93ee5c189e9.tar.bz2 | |
ada: Set Loop_Variant assertion policy to Ignore in both
Set Loop_Variant assertion policy to Ignore in both.
gcc/ada/
* libgnat/a-strsup.adb: Set assertion policy for Loop_Variant.
Diffstat (limited to 'gcc/ada/usage.adb')
0 files changed, 0 insertions, 0 deletions