From f377fc85488f4799ced714ac60e65a0e3f8f69cb Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 23 May 2008 02:53:24 +0000 Subject: [PATCH] Unbreak build. Forget to check in this header file change with a previous commit. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@51470 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/clang/Analysis/PathSensitive/BugReporter.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/include/clang/Analysis/PathSensitive/BugReporter.h b/include/clang/Analysis/PathSensitive/BugReporter.h index bcb1a24b74..c9cabf2073 100644 --- a/include/clang/Analysis/PathSensitive/BugReporter.h +++ b/include/clang/Analysis/PathSensitive/BugReporter.h @@ -19,6 +19,7 @@ #include "clang/Analysis/PathSensitive/ValueState.h" #include "clang/Analysis/PathSensitive/ExplodedGraph.h" #include "llvm/ADT/SmallPtrSet.h" +#include "llvm/ADT/SmallSet.h" #include namespace clang { @@ -130,6 +131,7 @@ class BugReporter { PathDiagnosticClient* PD; ASTContext& Ctx; GRExprEngine& Eng; + llvm::SmallSet NotableSymbols; public: BugReporter(Diagnostic& diag, PathDiagnosticClient* pd, @@ -150,11 +152,16 @@ public: GRExprEngine& getEngine() { return Eng; } + ValueStateManager& getStateManager(); + CFG& getCFG() { return getGraph().getCFG(); } void EmitWarning(BugReport& R); void GeneratePathDiagnostic(PathDiagnostic& PD, BugReport& R); + + void addNotableSymbol(SymbolID Sym) { NotableSymbols.insert(Sym); } + bool isNotable(SymbolID Sym) const { return (bool) NotableSymbols.count(Sym);} }; } // end clang namespace -- 2.50.1