> Its important to remember that operand_equal_p is only ever used > to compare two operands within the same expression, typically only > within the same operator. Yes, but is it guaranteed that both SAVE_EXPRs originate from the same expression? I don't think that's necessarily true. r~