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 | ed7948b55fa4b2505f240cc5287137f451172b4c (patch) | |
tree | c1675debd05a3a43c8e8fcfeb9149ea4226039e3 /lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp | |
parent | 3c0bc15afbcbbf6942a64798ba8a23bb8d9a77d9 (diff) |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@157734 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp b/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp index 81a27451cb..9b56c9fe13 100644 --- a/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp +++ b/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; |