]> git.ipfire.org Git - thirdparty/gcc.git/commit
Constrain PHI handling in -Wuse-after-free [PR104232].
authorMartin Sebor <msebor@redhat.com>
Mon, 31 Jan 2022 19:04:55 +0000 (12:04 -0700)
committerMartin Sebor <msebor@redhat.com>
Mon, 31 Jan 2022 19:04:55 +0000 (12:04 -0700)
commit48d3191e7bd6245bd2df625731f1ad9207a26655
treecbce7d634ebd97450c2b28b0f849cebe7036f082
parent31ab99f7c854d654bf05abd50e3300714df381f3
Constrain PHI handling in -Wuse-after-free [PR104232].

Resolves:
PR middle-end/104232 - spurious -Wuse-after-free after conditional free

gcc/ChangeLog:

PR middle-end/104232
* gimple-ssa-warn-access.cc (pointers_related_p): Add argument.
Handle PHIs.  Add a synonymous overload.
(pass_waccess::check_pointer_uses): Call pointers_related_p.

gcc/testsuite/ChangeLog:

PR middle-end/104232
* g++.dg/warn/Wuse-after-free4.C: New test.
* gcc.dg/Wuse-after-free-2.c: New test.
* gcc.dg/Wuse-after-free-3.c: New test.
gcc/gimple-ssa-warn-access.cc
gcc/testsuite/g++.dg/warn/Wuse-after-free4.C [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wuse-after-free-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wuse-after-free-3.c [new file with mode: 0644]