From 76d90c8bf83d071fd1bdbffa6d9f2af87c6bb7b5 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 16 May 2008 18:33:14 +0000 Subject: [PATCH] Partitioned BugTypeCachedLocation::isCached() into two methods: one that accepts and ExplodedNode, and the other that accepts a ProgramPoint. The default behavior is to cache bug reports by the location they occur (the end node). Subclasses can override this behavior by providing a different ProgramPoint. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@51197 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/clang/Analysis/PathSensitive/BugReporter.h | 1 + lib/Analysis/BugReporter.cpp | 7 ++++++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/include/clang/Analysis/PathSensitive/BugReporter.h b/include/clang/Analysis/PathSensitive/BugReporter.h index 7aefb1c57c..bcb1a24b74 100644 --- a/include/clang/Analysis/PathSensitive/BugReporter.h +++ b/include/clang/Analysis/PathSensitive/BugReporter.h @@ -58,6 +58,7 @@ public: BugTypeCacheLocation() {} virtual ~BugTypeCacheLocation() {} virtual bool isCached(BugReport& R); + bool isCached(ProgramPoint P); }; diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp index e2d98b0cf6..8ee530c425 100644 --- a/lib/Analysis/BugReporter.cpp +++ b/lib/Analysis/BugReporter.cpp @@ -448,7 +448,12 @@ bool BugTypeCacheLocation::isCached(BugReport& R) { // warning for the same error type that occurs at the same program // location but along a different path. - void* p = N->getLocation().getRawData(); + return isCached(N->getLocation()); +} + +bool BugTypeCacheLocation::isCached(ProgramPoint P) { + + void* p = P.getRawData(); if (CachedErrors.count(p)) return true; -- 2.50.1