diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-02-16 21:57:23 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-02-16 21:57:23 +0000 |
| commit | 210c26f8d3b394af9650cb5d72ef0916fd2e2fe4 (patch) | |
| tree | db55b36ed9eb10f1c49c30b0d39aa7a2a164cfe0 | |
| parent | e28b3598817572f6c1c9e97d30c013a85b8952bb (diff) | |
| download | bcm5719-llvm-210c26f8d3b394af9650cb5d72ef0916fd2e2fe4.tar.gz bcm5719-llvm-210c26f8d3b394af9650cb5d72ef0916fd2e2fe4.zip | |
Add getSymbolManager() and getBasicVals() accessors to GRStateRef.
llvm-svn: 64675
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRState.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRState.h b/clang/include/clang/Analysis/PathSensitive/GRState.h index ac0908cf1f4..18cba5dc0d8 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRState.h +++ b/clang/include/clang/Analysis/PathSensitive/GRState.h @@ -742,6 +742,9 @@ public: return cb; } + SymbolManager& getSymbolManager() { return Mgr->getSymbolManager(); } + BasicValueFactory& getBasicVals() { return Mgr->getBasicVals(); } + // Pretty-printing. void print(std::ostream& Out, const char* nl = "\n", const char *sep = "") const; |
