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 | 2776079844572dd1ff443cfd30ceb999bf954647 (patch) | |
| tree | 361a5faaa9c07602f7239d95ef27c2792d6910d6 /clang/lib/Analysis | |
| parent | 8a2cb9cede41b2f3fb693e5aa8415a628c5285f8 (diff) | |
| download | bcm5719-llvm-2776079844572dd1ff443cfd30ceb999bf954647.tar.gz bcm5719-llvm-2776079844572dd1ff443cfd30ceb999bf954647.zip | |
Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.
llvm-svn: 76792
Diffstat (limited to 'clang/lib/Analysis')
| -rw-r--r-- | clang/lib/Analysis/GRCoreEngine.cpp | 7 | 
1 files changed, 5 insertions, 2 deletions
| diff --git a/clang/lib/Analysis/GRCoreEngine.cpp b/clang/lib/Analysis/GRCoreEngine.cpp index 5641baac5fc..5a45ad2ce4f 100644 --- a/clang/lib/Analysis/GRCoreEngine.cpp +++ b/clang/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); | 

