From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 28 Sep 2011 21:20:00 +0000 (+0000)
Subject: Check for empty predecessors for walking them.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f79d90e570c514c1ac280ab45b0c6b3d660af7a0;p=clang

Check for empty predecessors for walking them.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@140725 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
index 0a38e79c3b..3afbd87213 100644
--- a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
@@ -315,7 +315,7 @@ bugreporter::getTrackNullOrUndefValueVisitor(const ExplodedNode *N,
       if (ps->getStmt() == S)
         break;
     }
-    N = *N->pred_begin();
+    N = N->pred_empty() ? 0 : *N->pred_begin();
   }
 
   if (!N)