commit | 7165704bfaae012cb28e5411619218da6fb8320d | [log] [tgz] |
---|---|---|
author | Yannick Moy <moy@adacore.com> | Mon Jul 26 12:21:02 2021 +0200 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Thu Sep 23 13:06:13 2021 +0000 |
tree | cf9e816b9963c52316527c21c9c2a589a8be34e9 | |
parent | 37a3df0d9a849c912735124ec0b156c229fb308a [diff] |
[Ada] Minimize parts of Ada.Strings.Fixed marked SPARK_Mode => Off gcc/ada/ * libgnat/a-strfix.adb (Delete, Insert, Overwrite, Replace_Slice): Remove SPARK_Mode Off. * libgnat/a-strfix.ads (Insert, Overwrite, Replace_Slice): Strengthen precondition.