From f7adea43b4fc35da29bac39e31bf81e2e2f597e6 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sat, 21 Nov 2009 00:49:41 +0000 Subject: More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. llvm-svn: 89519 --- clang/lib/Analysis/GRExprEngine.cpp | 20 -------------------- 1 file changed, 20 deletions(-) (limited to 'clang/lib/Analysis/GRExprEngine.cpp') diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 2b4b5ae1a5d..047e27dabdc 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -1998,26 +1998,6 @@ void GRExprEngine::VisitObjCMessageExprDispatchHelper(ObjCMessageExpr* ME, } } - // Check for any arguments that are uninitialized/undefined. - - for (ObjCMessageExpr::arg_iterator I = ME->arg_begin(), E = ME->arg_end(); - I != E; ++I) { - - if (state->getSVal(*I).isUndef()) { - - // Generate an error node for passing an uninitialized/undefined value - // as an argument to a message expression. This node is a sink. - ExplodedNode* N = Builder->generateNode(ME, state, Pred); - - if (N) { - N->markAsSink(); - MsgExprUndefArgs[N] = *I; - } - - return; - } - } - // Handle previsits checks. ExplodedNodeSet Src, DstTmp; Src.Add(Pred); -- cgit v1.2.3