[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