[cfe-commits] r47064 - /cfe/trunk/Analysis/GREngine.cpp
Ted Kremenek
kremenek at apple.com
Wed Feb 13 08:56:52 PST 2008
Author: kremenek
Date: Wed Feb 13 10:56:51 2008
New Revision: 47064
URL: http://llvm.org/viewvc/llvm-project?rev=47064&view=rev
Log:
Added GREngine support for "break" and "continue".
Modified:
cfe/trunk/Analysis/GREngine.cpp
Modified: cfe/trunk/Analysis/GREngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/GREngine.cpp?rev=47064&r1=47063&r2=47064&view=diff
==============================================================================
--- cfe/trunk/Analysis/GREngine.cpp (original)
+++ cfe/trunk/Analysis/GREngine.cpp Wed Feb 13 10:56:51 2008
@@ -191,8 +191,10 @@
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:
More information about the cfe-commits
mailing list