Check for empty predecessors for walking them.

llvm-svn: 140725
This commit is contained in:
Ted Kremenek 2011-09-28 21:20:00 +00:00
parent 0470a63776
commit 252e03596a
1 changed files with 1 additions and 1 deletions

View File

@ -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)