Hi Baurzhan, On Wed, Nov 2, 2011 at 9:34 AM, Baurzhan Ismagulov <[email protected]> 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 ------------------------------------------------------------------------------ RSA® Conference 2012 Save $700 by Nov 18 Register now! http://p.sf.net/sfu/rsa-sfdev2dev1 _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
