[Bug tree-optimization/125857] [17 regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: in value_of_expr, at tree-vrp.cc:996 since r17-1602

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

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

--- Comment #4 from Drea Pinski <pinskia at gcc dot gnu.org> ---
is_gimple_ip_invariant most likely should be used when dealing with the return
value.

Yes this is undefined code but we still should not ICE.

I thought we changed the return value for local addresses into null ptrs. Or
maybe that was a different time.