On Thu, 19 Oct 2017, Bin Cheng wrote:
* match.pd (A + CST cmp A -> CST cmp zero): New simplification for undefined overflow types in (A + CST CMP A -> A CMP' CST').
Could you check if you still need that? I recently added something very similar (search for "X + Y < Y" in match.pd).
-- Marc Glisse