As suggested by Eli Friedman, instead of aborting if an overflow check uses something other than SETEQ or SETNE, simply do not apply the optimization.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
LGTM. (I'm pretty sure it's possible to come up with a testcase, but it's not worth the time to figure out what exact legalization sequence would trigger this.)