[cfe-commits] [patch] Tracking simple arithmetic constraints (PR2695) (resubmitted)
rjmccall at apple.com
Sat Jun 5 23:51:14 PDT 2010
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.
More information about the cfe-commits