rsmith accepted this revision. rsmith added a comment. This revision is now accepted and ready to land.
This seems reasonable. I wonder if it might be better to also suppress warnings for dynamically-unreachable code (you can do this by changing the `Diag` calls inside `CheckNonNullArguments` to `DiagRuntimeBehavior` instead of the current patch). That would help for a case like: #define SAFE_FOO(x) if (x) foo(x) SAFE_FOO(0); ... but admittedly that's pretty contrived. Anyway, this looks fine as far as it goes. http://reviews.llvm.org/D13408 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
