Disable path pruning for UndefResultChecker. It turns out we usually want to see more of the path

to discover how a value was used uninitialized.

llvm-svn: 158048
This commit is contained in:
Ted Kremenek 2012-06-06 06:25:37 +00:00
parent 7fca5ccdae
commit f470a4c2ca
1 changed files with 2 additions and 0 deletions

View File

@ -82,6 +82,8 @@ void UndefResultChecker::checkPostStmt(const BinaryOperator *B,
else else
report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, B, report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, B,
report)); report));
report->disablePathPruning();
C.EmitReport(report); C.EmitReport(report);
} }
} }