Similar bug fix to r47650; when processing CallExprs if we did not generate an

ExplodedNode for the Callee subexpression we would not evaluate the CallExpr
transfer function.

llvm-svn: 47651
This commit is contained in:
Ted Kremenek 2008-02-27 00:46:25 +00:00
parent 76a2e985c3
commit 947528f000
1 changed files with 1 additions and 0 deletions

View 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) {