|
From: Baurzhan I. <ib...@ra...> - 2011-11-02 13:56:16
|
On Wed, Nov 02, 2011 at 09:42:41AM -0400, Jeffrey Walton wrote: > > It worked for me for overflows (e.g., i = 2) but not underflows (with -1 > > as in your original posting), regardless of how i has been set. That's > > interesting, I wasn't aware of that. > Did you try Clang with UBC Integer Overflow Checker)? I don't believe > its undefined behavior per se, but IOC might be able to flag it since > its also a dynamic checker. http://embed.cs.utah.edu/ioc/. Thanks for the hint, I'll have a look. With kind regards, Baurzhan. |