diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-07-04 15:43:04 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-02 09:08:03 +0200 |
| commit | 99337cb2385c38182e48a491442da449c028f51c (patch) | |
| tree | a10660bebc38da6e5d1b8bd9ac42d4a3c7cb3aad /gcc/ada/adadecode.c | |
| parent | d80dcff99f3ca8721eecd82097281095a3122079 (diff) | |
| download | gcc-99337cb2385c38182e48a491442da449c028f51c.zip gcc-99337cb2385c38182e48a491442da449c028f51c.tar.gz gcc-99337cb2385c38182e48a491442da449c028f51c.tar.bz2 | |
ada: Fix detection of suspicious loop patterns
This patch fixes an assertion failure in some cases in the code to
warn about possible misuse of range attributes in loop. The root of
the problem is that this code failed to consider the case where the
outer loop is a while loop.
Also fix a typo in a nearby comment.
gcc/ada/
* sem_ch5.adb (Analyze_Loop_Statement): Fix loop pattern detection
code. Fix typo.
Diffstat (limited to 'gcc/ada/adadecode.c')
0 files changed, 0 insertions, 0 deletions