Added GREngine support for "break" and "continue".

llvm-svn: 47064
2008-02-13 16:56:51 +00:00 · 2008-02-13 16:56:51 +00:00 · 632bcb82a7
parent 235b26f225
commit 632bcb82a7
1 changed files with 4 additions and 2 deletions
--- a/clang/Analysis/GREngine.cpp
+++ b/clang/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: