https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104069

--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> ---
My mistake, a PHI is an OR of its operands, not an AND.  With that, the IL
doesn't rule out that the subsequent realloc() call isn't made with the
argument to a prior successful realloc().  So for the more involved test case
in comment #5 the warning is doing what it's supposed to do.

Reply via email to