diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-04-18 20:54:29 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-04-18 20:54:29 +0000 |
commit | 95cc1bae89ac68626d6f4d389e189ce1ef3aa7f6 (patch) | |
tree | 329013af8c1456752d42f1f2fe908533a7fa629b /lib/Analysis/BugReporter.cpp | |
parent | b0533965f1b4db020692e3b23ca7b3bc15bf5897 (diff) |
Generalize caching mechanism for bugs reports. Now individual BugTypes
can decide the policy on how to cache related bugs. This allows us to
properly to handle warning about multiple leaks in the same location in the
ref count checker (not yet done).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49918 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BugReporter.cpp')
-rw-r--r-- | lib/Analysis/BugReporter.cpp | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp index e74295c311..e69c5a6d3f 100644 --- a/lib/Analysis/BugReporter.cpp +++ b/lib/Analysis/BugReporter.cpp @@ -357,12 +357,14 @@ void BugReporter::GeneratePathDiagnostic(PathDiagnostic& PD, } } -bool BugReporter::IsCached(ExplodedNode<ValueState>* N) { +bool BugTypeCacheLocation::isCached(BugReport& R) { + + ExplodedNode<ValueState>* N = R.getEndNode(); if (!N) return false; - - // HACK: Cache the location of the error. Don't emit the same + + // Cache the location of the error. Don't emit the same // warning for the same error type that occurs at the same program // location but along a different path. @@ -371,14 +373,13 @@ bool BugReporter::IsCached(ExplodedNode<ValueState>* N) { if (CachedErrors.count(p)) return true; - CachedErrors.insert(p); - + CachedErrors.insert(p); return false; } void BugReporter::EmitWarning(BugReport& R) { - if (IsCached(R.getEndNode())) + if (R.getBugType().isCached(R)) return; PathDiagnostic D(R.getName()); |