diff options
Diffstat (limited to 'lib/Checker/GRCoreEngine.cpp')
| -rw-r--r-- | lib/Checker/GRCoreEngine.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Checker/GRCoreEngine.cpp b/lib/Checker/GRCoreEngine.cpp index dd1720edfd..17ef1d48f5 100644 --- a/lib/Checker/GRCoreEngine.cpp +++ b/lib/Checker/GRCoreEngine.cpp @@ -430,7 +430,9 @@ void GRStmtNodeBuilder::GenerateAutoTransition(ExplodedNode* N) { // Check if this node entered a callee. if (isa<CallEnter>(N->getLocation())) { - Eng.WList->Enqueue(N, B, Idx); // Still use the index of the CallExpr. + // Still use the index of the CallExpr. It's needed to create the callee + // StackFrameContext. + Eng.WList->Enqueue(N, B, Idx); return; } |