[Bug tree-optimization/117601] Another missing optimization after rewrite of SCCP for overflow

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Aka

char a;
char b;

(char *)((unsigned)&a + 1)

is a "valid" way to get to 'b', so even always allowing 1 isn't safe.