diff options
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 |