[cfe-commits] PATCH: Enhance array bounds checking

[Kaelyn Uhrain]

Here's the updated patch that includes the changes Nick suggested and
rebased against the current TOT.

On Mon, Jul 11, 2011 at 3:30 PM, Ted Kremenek <kremenek at apple.com> wrote:

> 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/24227b90/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: array-bounds-enhancement.diff
Type: text/x-diff
Size: 11978 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110711/24227b90/attachment.diff>