Author: kremenek
Date: Fri Jun 1 18:04:04 2012
New Revision: 157851
URL: http://llvm.org/viewvc/llvm-project?rev=157851&view=rev
Log:
Disable diagnosic path pruning for ReturnUndefChecker.
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp?rev=157851&r1=157850&r2=157851&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp Fri Jun 1
18:04:04 2012
@@ -53,6 +53,7 @@
BugReport *report =
new BugReport(*BT, BT->getDescription(), N);
+ report->disablePathPruning();
report->addRange(RetE->getSourceRange());
report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, RetE,
report));
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
