https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92689
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Actually the testcase which causes the return true to be correct would be: extern int data; void gggg(void) { foo (&data); } void fn(void) { data++; } ---- CUT --- I think you need either a better testcase again.