https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71261
--- Comment #17 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 38581 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38581&action=edit incomplete patch Attached my work-in progress to remove bool fixup in favor of improving bool pattern recognition. Still has some testsuite ICEs: FAIL: c-c++-common/cilk-plus/AN/if_test.c -O2 -ftree-vectorize -fcilkplus (internal compiler error) ... FAIL: gcc.c-torture/compile/pr53410-1.c -O3 -fomit-frame-pointer -funroll-loops -fpeel-loops -ftracer -finline-functions (internal compiler error) FAIL: gcc.c-torture/execute/921013-1.c -O3 -fomit-frame-pointer -funroll-loops -fpeel-loops -ftracer -finline-functions (test for excess errors) FAIL: gcc.dg/pr50310-1.c (internal compiler error) FAIL: gcc.dg/pr50310-1.c (test for excess errors) WARNING: gcc.dg/pr50310-1.c compilation failed to produce executable FAIL: gcc.dg/pr64087.c (internal compiler error) FAIL: gcc.dg/pr64087.c (test for excess errors) FAIL: gcc.dg/pr70026.c (internal compiler error) FAIL: gcc.dg/pr70026.c (test for excess errors) ... (and some more)