[cfe-commits] PATCH: Enhance array bounds checking

[Kaelyn Uhrain]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110708/64bcb757/attachment.html>