Add null check for malformed code.
authorTed Kremenek <kremenek@apple.com>
Thu, 11 Oct 2012 19:06:43 +0000 (19:06 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 11 Oct 2012 19:06:43 +0000 (19:06 +0000)
llvm-svn: 165733

clang/lib/Sema/SemaChecking.cpp

index 4800886..6a39ff0 100644 (file)
@@ -510,8 +510,11 @@ void Sema::checkCall(NamedDecl *FDecl, Expr **Args,
   // Refuse POD arguments that weren't caught by the format string
   // checks above.
   if (!HandledFormatString && CallType != VariadicDoesNotApply)
-    for (unsigned ArgIdx = NumProtoArgs; ArgIdx < NumArgs; ++ArgIdx)
-      variadicArgumentPODCheck(Args[ArgIdx], CallType);
+    for (unsigned ArgIdx = NumProtoArgs; ArgIdx < NumArgs; ++ArgIdx) {
+      // Args[ArgIdx] can be null in malformed code.
+      if (Expr *Arg = Args[ArgIdx])
+        variadicArgumentPODCheck(Arg, CallType);
+    }
 
   for (specific_attr_iterator<NonNullAttr>
          I = FDecl->specific_attr_begin<NonNullAttr>(),