[cfe-commits] [patch] Tracking simple arithmetic constraints (PR2695) (resubmitted)

[John McCall]

I just want to point out here that overflow is not undefined on unsigned integers in C, so if you're reasoning based on abstract program semantics, you cannot assume unsigned overflow does not occur.  (((unsigned) x)-1 >= UINT_MAX) has a valid solution at x == 0U.  Signed overflow has undefined behavior, so (((int) x)-1 >= INT_MAX) has no solutions given a valid program.

John.