------- Comment #8 from schlie at comcast dot net 2007-01-06 15:04 ------- It seems that an overflow warning should be generated if an overflowed value is utilized or results from an expression evaluation between sequence ponts? Thereby:
x = INT_MAX + 2 - 2 ; // warning x may overflow. z = (y = x +1, y - 2) ; // warning y may overflow, warning z may overflow. if (z < INT_MAX) {<something>} // warning if may overflow. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19978