summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2012-05-31 06:03:17 +0000
committerTed Kremenek <kremenek@apple.com>2012-05-31 06:03:17 +0000
commit16704bb15b3ac16b517866d8a7f761defe707e2b (patch)
tree559c7ce4c7fb564dca024cda54560240e8fd2706 /clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
parent3f122a7636e134c4baf3719395d8690732f851c3 (diff)
downloadbcm5719-llvm-16704bb15b3ac16b517866d8a7f761defe707e2b.tar.gz
bcm5719-llvm-16704bb15b3ac16b517866d8a7f761defe707e2b.zip
Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly
improved the pruning heuristics. The current heuristics are pretty good, but they make diagnostics for uninitialized variables warnings particularly useless in some cases. llvm-svn: 157734
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
index 81a27451cba..9b56c9fe137 100644
--- a/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
@@ -88,6 +88,7 @@ void DereferenceChecker::checkLocation(SVal l, bool isLoad, const Stmt* S,
new BugReport(*BT_undef, BT_undef->getDescription(), N);
report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N,
bugreporter::GetDerefExpr(N), report));
+ report->disablePathPruning();
C.EmitReport(report);
}
return;
OpenPOWER on IntegriCloud