https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109087
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> --- As for the .DEFERRED_INIT not being DSEd when it isn't used, cvise reduced testcase is e.g. int a; int foo (void); int bar (void); void baz (void) { int *b[6]; if (foo ()) a |= bar (); } while with a |= 1; instead dse1 removes it. Richi, any thoughts on that? Of course, the real bug is on the x86 backend side.