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.<br>
<br>You can also view and comment on the changes at: <a href="http://codereview.appspot.com/4675068">http://codereview.appspot.com/4675068</a><br><br>Cheers,<br>Kaelyn<br>