diff options
-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: |