]> granicus.if.org Git - clang/commitdiff
Similar bug fix to r47650; when processing CallExprs if we did not generate an
authorTed Kremenek <kremenek@apple.com>
Wed, 27 Feb 2008 00:46:25 +0000 (00:46 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 27 Feb 2008 00:46:25 +0000 (00:46 +0000)
ExplodedNode for the Callee subexpression we would not evaluate the CallExpr
transfer function.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47651 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/GRExprEngine.cpp

index 4b1e99e815777e6ab65e6335dea52835b551974a..13ae4febf9dab1b6c28288c666f14ab84fb56cef 100644 (file)
@@ -508,6 +508,7 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred,
   Expr* Callee = CE->getCallee()->IgnoreParenCasts();
   
   VisitLVal(Callee, Pred, DstTmp);
+  if (DstTmp.empty()) DstTmp.Add(Pred);
   
   // Finally, evaluate the function call.
   for (NodeSet::iterator DI = DstTmp.begin(), DE = DstTmp.end(); DI!=DE; ++DI) {