diff options
author | Ted Kremenek <kremenek@apple.com> | 2012-05-31 06:03:17 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2012-05-31 06:03:17 +0000 |
commit | 16704bb15b3ac16b517866d8a7f761defe707e2b (patch) | |
tree | 559c7ce4c7fb564dca024cda54560240e8fd2706 /clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp | |
parent | 3f122a7636e134c4baf3719395d8690732f851c3 (diff) | |
download | bcm5719-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.cpp | 1 |
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; |