On 04/24/14 02:22, Richard Biener wrote:
I went back and forth on this. I couldn't come up with a case where we'd do the wrong thing with virtuals, but processing all the DEFs is conservatively correct, so I left it.+ + if (backedge_seen) + FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_ALL_DEFS)You only need SSA_OP_DEF here, no need to process virtual operands.
If you'd like to see this changed to only walk the real defs, I'm happy to make that change.
jeff
