aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-02-16 21:57:23 +0000
committerTed Kremenek <kremenek@apple.com>2009-02-16 21:57:23 +0000
commitf81895f963f0910c7df422709f7f1668eb9f7c4f (patch)
treee9b6535dd8f8bc55adcb2afb62bb8c7747107c45
parent62c29c667f5bcb854e99ccb3aec1280c84115951 (diff)
Add getSymbolManager() and getBasicVals() accessors to GRStateRef.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64675 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/GRState.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRState.h b/include/clang/Analysis/PathSensitive/GRState.h
index ac0908cf1f..18cba5dc0d 100644
--- a/include/clang/Analysis/PathSensitive/GRState.h
+++ b/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;