|
From: Jeffrey W. <nol...@gm...> - 2011-11-02 13:42:47
|
Hi Baurzhan, On Wed, Nov 2, 2011 at 9:34 AM, Baurzhan Ismagulov <ib...@ra...> wrote: > On Wed, Nov 02, 2011 at 01:55:50PM +0100, Peter Toft wrote: >> > There is also mudflap of gcc which claims to catch exactly this sort >> > of errors. >> >> I might be mistaking here.... but if the value if "i" is set from argv >> or alike then mudflap cannot help on this problem. > > 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/. Jeff |