https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111807
--- Comment #3 from David Binderman <dcb314 at hotmail dot com> --- Second test case: int func_40_l_118; struct S0 { signed f1 : 1; }; void func_40() { struct S0 l_103[16]; *l_103 = l_103[15]; l_103[15].f1 &&func_40_l_118; }