|
From: Dan K. <da...@ke...> - 2011-11-02 15:01:46
|
On Wed, Nov 2, 2011 at 6:55 AM, Baurzhan Ismagulov <ib...@ra...> wrote: > 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. Don't forget about gcc's -fstack-protector-all option. That can find a few things. |