diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-01-11 16:53:44 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-01-11 16:53:44 +0000 |
| commit | b6a2b08a6b3fbce1a6a4b69d4185165de970696c (patch) | |
| tree | 5655760a47b93dea0a795cf75a02f7ac8451813b /lib/StaticAnalyzer/Checkers/ExprEngine.cpp | |
| parent | 2e996d929d2593e5131640e774d04fe433ba5f89 (diff) | |
Remove ProgramPoint parameter from GenericNodeBuilder::generateNode().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123240 91177308-0d34-0410-b5e6-96231b3b80d8
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); } } |