https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90367
--- Comment #13 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #9) > (In reply to Martin Sebor from comment #8) > > This looks very similar to bug 87072. The C test case below is diagnosed by > > GCC 9, 8, and 7. > > > > $ cat a.c && gcc -O3 -S -Wall -Wextra -fdump-tree-vrp=/dev/stdout a.c > > This testcase is bogus and the warning is correct. You're right, I mistook the second 'for' in the testcase for an 'if'. My bad.
