https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71490
--- Comment #3 from Thomas Preud'homme <thopre01 at gcc dot gnu.org> --- Differences start at sink phase: @@ -46,17 +56,17 @@ f (int s, int * c) _2 = a1.0_1 * 4; _3 = -_2; x1_14 = c_13(D) + _3; - a2_15 = s_11(D) * 4; - a2.1_4 = (unsigned int) a2_15; - _5 = a2.1_4 * 4; - _6 = -_5; - x2_16 = c_13(D) + _6; if (x1_14 != 0B) goto <bb 5>; else goto <bb 3>; <bb 5>: + a2_15 = s_11(D) * 4; + a2.1_4 = (unsigned int) a2_15; + _5 = a2.1_4 * 4; + _6 = -_5; + x2_16 = c_13(D) + _6; goto <bb 4>; <bb 3>: