diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-02-13 16:56:51 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-02-13 16:56:51 +0000 |
commit | a58e833c81a95e76c3a96fc982810d148537531b (patch) | |
tree | c0c482144e59065dca73a2e69e3c5447daf29e3b | |
parent | e2c14103dec39cbd24dac9d7b3e91277b109c14f (diff) |
Added GREngine support for "break" and "continue".
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47064 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | Analysis/GREngine.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Analysis/GREngine.cpp b/Analysis/GREngine.cpp index acce008cea..3d46fa35fe 100644 --- a/Analysis/GREngine.cpp +++ b/Analysis/GREngine.cpp @@ -191,8 +191,10 @@ void GREngineImpl::HandleBlockExit(CFGBlock * B, ExplodedNodeImpl* Pred) { case Stmt::ForStmtClass: HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred); return; - - case Stmt::GotoStmtClass: + + case Stmt::ContinueStmtClass: + case Stmt::BreakStmtClass: + case Stmt::GotoStmtClass: break; case Stmt::IfStmtClass: |