diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-13 16:56:51 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-13 16:56:51 +0000 |
| commit | 632bcb82a7d509dfe1088f46f577dc55e38ab10a (patch) | |
| tree | 36d894d684122b3d134ab116993c76ff52c58a0c | |
| parent | 235b26f225336f4513a17a0c3457245f298fa262 (diff) | |
| download | bcm5719-llvm-632bcb82a7d509dfe1088f46f577dc55e38ab10a.tar.gz bcm5719-llvm-632bcb82a7d509dfe1088f46f577dc55e38ab10a.zip | |
Added GREngine support for "break" and "continue".
llvm-svn: 47064
| -rw-r--r-- | clang/Analysis/GREngine.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/clang/Analysis/GREngine.cpp b/clang/Analysis/GREngine.cpp index acce008cea9..3d46fa35fe3 100644 --- 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: |
