https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87489
--- Comment #16 from Martin Sebor ---
The test case in
https://gcc.gnu.org/pipermail/gcc-patches/2021-February/565564.html shows that
running the -Wnonnull pass later, after FRE, allows the warning to detect the
bug in the following test case:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87489
Jeffrey A. Law changed:
What|Removed |Added
Assignee|msebor at gcc dot gnu.org |law at gcc dot gnu.org
Target
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87489
Martin Sebor changed:
What|Removed |Added
Keywords|deferred|patch
Assignee|unassigned at
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87489
Martin Sebor changed:
What|Removed |Added
Attachment #50098|0 |1
is obsolete|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87489
--- Comment #12 from Martin Sebor ---
Created attachment 50098
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50098=edit
Patch to move -Wnonnull to pass_merge_phi.
No change in GCC 11 so far. I've reduced the test case in attachment