diff options
| author | Yannick Moy <moy@adacore.com> | 2022-02-23 12:58:42 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-13 08:04:35 +0000 |
| commit | 3fe35ab093de715e88fc837155954bbe74b326f3 (patch) | |
| tree | 1cd89e77f24dad683f2219eb10781f42f016ed10 /gcc/ada/gcc-interface | |
| parent | 9e5b1b076a57feee4057460aac8aae451b42431e (diff) | |
| download | gcc-3fe35ab093de715e88fc837155954bbe74b326f3.zip gcc-3fe35ab093de715e88fc837155954bbe74b326f3.tar.gz gcc-3fe35ab093de715e88fc837155954bbe74b326f3.tar.bz2 | |
[Ada] Facilitate proof of Overwrite in bounded strings library
Consistently use >= operator in both the code and contracts of
function/procedure Overwrite, to facilitate proof, instead of the strict
inequality > sometimes, as only New_Item remains in the result in the
case of equal size too.
gcc/ada/
* libgnat/a-strbou.ads (Overwrite): Switch to >= operator in
contracts.
* libgnat/a-strsup.adb (Super_Overwrite): Switch to >= operator
in code of procedure (function already uses it).
* libgnat/a-strsup.ads (Super_Overwrite): Switch to >= operator
in contracts.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions