https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70127
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- As #c0 mentions, this has been broken also in older releases, and r196781 has fixed this, and Honza's commit reverted this again. The thread that leads to this is https://gcc.gnu.org/ml/gcc-patches/2015-10/msg02567.html Adjusted testcase: struct S { int f; signed int g : 2; } a[1], c = {5, 1}, d; short b; __attribute__((noinline, noclone)) void foo (int x) { if (x != 1) __builtin_abort (); } int main () { while (b++ <= 0) { struct S e = {1, 1}; d = e = a[0] = c; } foo (a[0].g); return 0; }