diff options
| author | Claire Dross <dross@adacore.com> | 2022-07-12 13:21:40 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-02 09:34:06 +0200 |
| commit | 3a4c933f593c89295b966f789cba9ad5a6dad28a (patch) | |
| tree | 3613db640fe0f26a9fc6c028e5d8d9454a18137a /gcc/gcc.cc | |
| parent | e973ea0151a1551947fcdcadaeb9406789324b06 (diff) | |
| download | gcc-3a4c933f593c89295b966f789cba9ad5a6dad28a.zip gcc-3a4c933f593c89295b966f789cba9ad5a6dad28a.tar.gz gcc-3a4c933f593c89295b966f789cba9ad5a6dad28a.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gcc.cc')
0 files changed, 0 insertions, 0 deletions