https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64032
Tejas Belagod <belagod at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |belagod at gcc dot gnu.org
--- Comment #4 from Tejas Belagod <belagod at gcc dot gnu.org> ---
Also fails on aarch64.
$ aarch64-none-elf-gcc -O2 -Waggressive-loop-optimizations -S
/work/dev/arm/src/gcc/gcc/testsuite/gcc.dg/undefined-loop-2.c
/work/dev/arm/src/gcc/gcc/testsuite/gcc.dg/undefined-loop-2.c: In function
'foo':
/work/dev/arm/src/gcc/gcc/testsuite/gcc.dg/undefined-loop-2.c:19:8: warning:
loop exit may only be reached after undefined behavior
[-Waggressive-loop-optimizations]
&& i < 100; /* { dg-warning "loop exit may only be reached after
undefined behavior" } */
^
/work/dev/arm/src/gcc/gcc/testsuite/gcc.dg/undefined-loop-2.c:17:17: note:
possible undefined statement is here
: array2[i]) /* { dg-message "note: possible undefined statement is
here" } */
^
/work/dev/arm/src/gcc/gcc/testsuite/gcc.dg/undefined-loop-2.c:16:17: note:
possible undefined statement is here
? array1[i] /* { dg-message "note: possible undefined statement is
here" } */
