[Bug tree-optimization/80532] warning on pointer access after free

[msebor at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
My hope is to implement the warning in the middle end (I actually have a
prototype  but it's not ready for GCC 11).