https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79958
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Small C testcase:
struct X { int i; };
void bar ();
void foo (int b)
{
struct X x;
x.i = 1;
if (b)
{
bar ();
__builtin_abort ();
}
bar ();
}
You need to provide -fno-tree-dce as DCE is able to catch these cases
(in your case only one-by-one as for addressable vars it uses stupid
analysis).
