projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e973ea0) | patch
[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps
authorClaire Dross <dross@adacore.com>
Tue, 12 Jul 2022 11:21:40 +0000 (13:21 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 2 Sep 2022 07:34:06 +0000 (09:34 +0200)
commit3a4c933f593c89295b966f789cba9ad5a6dad28a
tree3613db640fe0f26a9fc6c028e5d8d9454a18137atree | snapshot
parente973ea0151a1551947fcdcadaeb9406789324b06commit | diff
[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps

Add loop variants to verify that loops terminate in string handling.

gcc/ada/

* libgnat/a-strmap.adb: Add variants to simple and while loops.
* libgnat/a-strsea.adb: Idem.
gcc/ada/libgnat/a-strmap.adb diff | blob | history
gcc/ada/libgnat/a-strsea.adb diff | blob | history
Domain: System / Toolchain;