https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63477
--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
(In reply to Alexandre Ganea from comment #4)
The test case has been reduced a little too far -- it reads an uninitialized
variable:
for (unsigned i;; i++)
for (; i;)
if (j[i] == j[0])
h.e();
But the false positive can also be reproduced by initializing the variable to
zero. Can you please open a new bug with the corrected test case?
