Author: kremenek
Date: Wed Jun 6 01:25:37 2012
New Revision: 158048
URL: http://llvm.org/viewvc/llvm-project?rev=158048&view=rev
Log:
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.
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp?rev=158048&r1=158047&r2=158048&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp Wed Jun 6
01:25:37 2012
@@ -82,6 +82,8 @@
else
report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, B,
report));
+
+ report->disablePathPruning();
C.EmitReport(report);
}
}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
