| commit | 04606c1229d709250deaf2999895e93ee5c189e9 | |
| author | Yannick Moy <moy@adacore.com> | |
| Tue, 17 Jan 2023 10:58:54 +0000 (17 11:58 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 16 May 2023 08:30:56 +0000 (16 10:30 +0200) | ||
| tree | 615d08b8b3f603ae3b1c12a6eeb4d18b1d3369c8 | treesnapshot (tar.gz zip) |
| parent | 3c09e25e2c9cbd980a711fe4f654374fbf8affc0 | commitdiff |
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.
Set Loop_Variant assertion policy to Ignore in both.
gcc/ada/
* libgnat/a-strsup.adb: Set assertion policy for Loop_Variant.
| gcc/ada/libgnat/a-strsup.adb | diffblobblamehistory |