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

[Nick Lewycky]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130122/ddeadb36/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: nonnull-harder-1.patch
Type: application/octet-stream
Size: 1720 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130122/ddeadb36/attachment.obj>