https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64728
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Started with r217034. Reduced testcase for -O: char a[128]; int b, d; void baz (long); int setjmp (char [128]); static void bar (long *x) { if (d) *x = b; } void foo () { baz (0); if (setjmp (a)) { long c; bar (&c); baz (c); } baz (0); }