http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
davidxl at google dot com changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |davidxl at google dot com --- Comment #7 from davidxl at google dot com --- Testing a fix that addresses the problem. With the fix, the dump shows: Use in stmt: blah (v_1); is guarded by : m_6(D) > 100 (.OR.) n_4(D) <= 9 (.OR.) r_9(D) <= 19 Operand defs of phi: v_1 = PHI <v_14(D)(13), r_9(D)(3)> is guarded by : m_6(D) > 100 (.OR.) n_4(D) <= 9 (.OR.) l_11(D) != 0 (.OR.) r_9(D) <= 19 which is correct.