From a58e833c81a95e76c3a96fc982810d148537531b Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 13 Feb 2008 16:56:51 +0000 Subject: [PATCH] Added GREngine support for "break" and "continue". git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47064 91177308-0d34-0410-b5e6-96231b3b80d8 --- Analysis/GREngine.cpp | 6 ++++-- 1 file 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(Term)->getCond(), Term, B, Pred); return; - - case Stmt::GotoStmtClass: + + case Stmt::ContinueStmtClass: + case Stmt::BreakStmtClass: + case Stmt::GotoStmtClass: break; case Stmt::IfStmtClass: -- 2.50.1