[analyzer] Handle Objc Fast enumeration for "loop is executed 0 times".

Fixes <rdar://problem/12322528>

llvm-svn: 176965

1 files changed, 7 insertions, 0 deletions

diff --git a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
index 0729b5e8428..566a58032c0 100644
--- a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
+++ b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
@@ -1305,6 +1305,7 @@ static bool isLoopJumpPastBody(const Stmt *Term, const BlockEdge *BE) {
   switch (Term->getStmtClass()) {
     case Stmt::ForStmtClass:
     case Stmt::WhileStmtClass:
+    case Stmt::ObjCForCollectionStmtClass:
       break;
     default:
       // Note that we intentionally do not include do..while here.
@@ -1350,6 +1351,12 @@ static bool isInLoopBody(ParentMap &PM, const Stmt *S, const Stmt *Term) {
       LoopBody = FS->getBody();
       break;
     }
+    case Stmt::ObjCForCollectionStmtClass: {
+      const ObjCForCollectionStmt *FC = cast<ObjCForCollectionStmt>(Term);
+      LoopBody = FC->getBody();
+      break;
+
+    }
     case Stmt::WhileStmtClass:
       LoopBody = cast<WhileStmt>(Term)->getBody();
       break;