diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-07-22 21:40:46 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-07-22 21:40:46 +0000 |
commit | e01ac5712a94279db2404134817fe6bbf16c1f7c (patch) | |
tree | dd553d02d39fa6bc99681e828a1854f1068357ed /lib/Analysis/GRCoreEngine.cpp | |
parent | cdd4f1783da7c7565be2376d14ca6ab2625aa4b6 (diff) |
Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76792 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRCoreEngine.cpp')
-rw-r--r-- | lib/Analysis/GRCoreEngine.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Analysis/GRCoreEngine.cpp b/lib/Analysis/GRCoreEngine.cpp index 5641baac5f..5a45ad2ce4 100644 --- a/lib/Analysis/GRCoreEngine.cpp +++ b/lib/Analysis/GRCoreEngine.cpp @@ -430,11 +430,14 @@ GRStmtNodeBuilderImpl::generateNodeImpl(Stmt* S, const void* State, ExplodedNodeImpl* Pred, ProgramPoint::Kind K, const void *tag) { - return generateNodeImpl(GetPostLoc(S, K, tag), State, Pred); + return K == ProgramPoint::PreStmtKind + ? generateNodeImpl(PreStmt(S, tag), State, Pred) + : generateNodeImpl(GetPostLoc(S, K, tag), State, Pred); } ExplodedNodeImpl* -GRStmtNodeBuilderImpl::generateNodeImpl(PostStmt Loc, const void* State, +GRStmtNodeBuilderImpl::generateNodeImpl(const ProgramPoint &Loc, + const void* State, ExplodedNodeImpl* Pred) { bool IsNew; ExplodedNodeImpl* N = Eng.G->getNodeImpl(Loc, State, &IsNew); |