From: Ted Kremenek Date: Wed, 13 Feb 2008 16:56:51 +0000 (+0000) Subject: Added GREngine support for "break" and "continue". X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a58e833c81a95e76c3a96fc982810d148537531b;p=clang Added GREngine support for "break" and "continue". git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47064 91177308-0d34-0410-b5e6-96231b3b80d8 --- 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(Term)->getCond(), Term, B, Pred); return; - - case Stmt::GotoStmtClass: + + case Stmt::ContinueStmtClass: + case Stmt::BreakStmtClass: + case Stmt::GotoStmtClass: break; case Stmt::IfStmtClass: