From 252e03596a25bdcc682e1a9f763bd3cb49e076bb Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 28 Sep 2011 21:20:00 +0000 Subject: [PATCH] Check for empty predecessors for walking them. llvm-svn: 140725 --- clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp b/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp index 0a38e79c3b29..3afbd8721381 100644 --- a/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp +++ b/clang/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)