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

[Matt Beaumont-Gay]

Test case for a transparent union initialized with 0? (Also, typo in
the comment, 'initialied'.) LGTM otherwise.

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
>