<div dir="ltr">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.<div>

<br></div><div style>Please review!</div><div style><br></div><div style>Nick</div><div style><br></div></div>