зеркало из https://github.com/microsoft/clang-1.git
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. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47651 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
a6fbe80684
Коммит
3ef1512397
|
@ -508,6 +508,7 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred,
|
||||||
Expr* Callee = CE->getCallee()->IgnoreParenCasts();
|
Expr* Callee = CE->getCallee()->IgnoreParenCasts();
|
||||||
|
|
||||||
VisitLVal(Callee, Pred, DstTmp);
|
VisitLVal(Callee, Pred, DstTmp);
|
||||||
|
if (DstTmp.empty()) DstTmp.Add(Pred);
|
||||||
|
|
||||||
// Finally, evaluate the function call.
|
// Finally, evaluate the function call.
|
||||||
for (NodeSet::iterator DI = DstTmp.begin(), DE = DstTmp.end(); DI!=DE; ++DI) {
|
for (NodeSet::iterator DI = DstTmp.begin(), DE = DstTmp.end(); DI!=DE; ++DI) {
|
||||||
|
|
Загрузка…
Ссылка в новой задаче