[cfe-commits] patch: make the attribute nonnull analysis smarter

[Nick Lewycky]

On 22 January 2013 20:38, Matt Beaumont-Gay <matthewbg at google.com> wrote:

> Test case for a transparent union initialized with 0?


Already in test/SemaObjC/nonnull.m.


> (Also, typo in
> the comment, 'initialied'.) LGTM otherwise.
>

Doh. Thanks!


>
> On Tue, Jan 22, 2013 at 6:21 PM, Nick Lewycky <nlewycky at google.com> wrote:
> > This patch updates the nonnull attribute's analysis to use the
> generalized
> > expression evaluator instead of looking strictly at language-defined
> "null
> > pointer constant". The nonnull attribute is used in cases where getting a
> > NULL would cause misbehaviour, so it makes sense to check for anything we
> > can prove is null.
> >
> > Please review!
> >
> > Nick
> >
> >
> > _______________________________________________
> > 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/20130122/1e28e575/attachment.html>