[Bug middle-end/104069] -Werror=use-after-free false positive on elfutils-0.186

msebor at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue Jan 18 22:47:14 GMT 2022


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.


More information about the Gcc-bugs mailing list