diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-05-23 02:53:24 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-05-23 02:53:24 +0000 |
| commit | f377fc85488f4799ced714ac60e65a0e3f8f69cb (patch) | |
| tree | ce424d3ae7ad2cfd2a70f44b8a3c9fd9768cd70e /include/clang/Analysis/PathSensitive/BugReporter.h | |
| parent | add62fe0dc79274b22658e22f92362a3124e9bd1 (diff) | |
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
Diffstat (limited to 'include/clang/Analysis/PathSensitive/BugReporter.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/BugReporter.h | 7 |
1 files changed, 7 insertions, 0 deletions
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 <vector> namespace clang { @@ -130,6 +131,7 @@ class BugReporter { PathDiagnosticClient* PD; ASTContext& Ctx; GRExprEngine& Eng; + llvm::SmallSet<SymbolID, 10> 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 |