[cfe-commits] r158048 - /cfe/trunk/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp

[Ted Kremenek]

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