[cfe-commits] PATCH: Enhance array bounds checking

[Ted Kremenek]

Hi Kaelyn,

This looks great.  Nick already made some great comments on the code. If you could address the last couple review comments I think this is ready to push back to mainline.

Cheers,
Ted

On Jul 8, 2011, at 5:03 PM, Kaelyn Uhrain wrote:

> The attached patch enhances the existing array bounds checking to include support for bounds checking on pointer arithmetic when possible (e.g. "Foo" + 5 or somearray - 7 when the size of somearray is known). It also fixes the bounds checking to work with unary operators like & and *; without this patch, for "char foo[4]", foo[15] would trigger the warning but &foo[15] wouldn't.
> 
> You can also view and comment on the changes at: http://codereview.appspot.com/4675068
> 
> Cheers,
> Kaelyn
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110711/7a667285/attachment.html>