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
nonnull-harder-1.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
