]> granicus.if.org Git - clang/commitdiff
Added GREngine support for "break" and "continue".
authorTed Kremenek <kremenek@apple.com>
Wed, 13 Feb 2008 16:56:51 +0000 (16:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 13 Feb 2008 16:56:51 +0000 (16:56 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47064 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/GREngine.cpp

index acce008cea95eca2f25210c93132b6ad8be466bc..3d46fa35fe3c71f2d1a604d6f2159665df184b20 100644 (file)
@@ -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: