diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-15 08:48:43 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-15 08:48:43 +0000 |
commit | 9c6cd67ea416bace666d614c84d5531124287653 (patch) | |
tree | 4a781c989c0e881e09234318323621094046e2b2 /lib/Checker/GRCoreEngine.cpp | |
parent | c09265a5fd94af5dcfd7325d0cb4f04197d65afc (diff) |
Add skeleton for handling other kinds of CFGElements.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@119135 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/GRCoreEngine.cpp')
-rw-r--r-- | lib/Checker/GRCoreEngine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/GRCoreEngine.cpp b/lib/Checker/GRCoreEngine.cpp index 50aa563c69..01d254c8f4 100644 --- a/lib/Checker/GRCoreEngine.cpp +++ b/lib/Checker/GRCoreEngine.cpp @@ -309,7 +309,7 @@ void GRCoreEngine::HandleBlockEntrance(const BlockEntrance& L, if (CFGElement E = L.getFirstElement()) { GRStmtNodeBuilder Builder(L.getBlock(), 0, Pred, this, SubEngine.getStateManager()); - ProcessStmt(E, Builder); + ProcessElement(E, Builder); } else HandleBlockExit(L.getBlock(), Pred); @@ -423,7 +423,7 @@ void GRCoreEngine::HandlePostStmt(const PostStmt& L, const CFGBlock* B, else { GRStmtNodeBuilder Builder(B, StmtIdx, Pred, this, SubEngine.getStateManager()); - ProcessStmt((*B)[StmtIdx], Builder); + ProcessElement((*B)[StmtIdx], Builder); } } |