[cfe-commits] r157851 - /cfe/trunk/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp

Ted Kremenek kremenek at apple.com
Fri Jun 1 16:04:04 PDT 2012


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





More information about the cfe-commits mailing list