[Bug c/81524] Bogus or missing warnings when dereferencing pointer to deallocated stack memory

[fredrik.hederstierna--- via Gcc-bugs]

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

--- Comment #7 from Fredrik Hederstierna 
<fredrik.hederstie...@securitas-direct.com> ---
I tested GCC-12 and it now correctly warns for these test cases.
Great work, thanks!