[PATCH] Implement nonnull-attribute sanitizer

[Richard Smith]

================
Comment at: tools/clang/lib/CodeGen/CGCall.cpp:2425
@@ +2424,3 @@
+      CGF.EmitCheckSourceLocation(FD->getLocation())};
+  llvm::Value *DynamicData[] = {llvm::ConstantInt::get(CGF.Int32Ty, ArgNo + 1)};
+  CGF.EmitCheck(Cond, "nonnull_arg", StaticData, DynamicData,
----------------
Is there a reason to pass `ArgNo` as dynamic data rather than static?

http://reviews.llvm.org/D5082