diff options
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ExprEngine.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Checkers/ExprEngine.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp index e6d9d715d4..3f9eb1b451 100644 --- a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp @@ -1089,9 +1089,7 @@ void ExprEngine::processCFGBlockEntrance(ExplodedNodeSet &dstNodes, block->getBlockID()) >= AMgr.getMaxVisit()) { static int tag = 0; - const BlockEntrance &BE = nodeBuilder.getProgramPoint(); - BlockEntrance BE_tagged(BE.getBlock(), BE.getLocationContext(), &tag); - nodeBuilder.generateNode(pred->getState(), pred, BE_tagged, true); + nodeBuilder.generateNode(pred->getState(), pred, &tag, true); } } |