diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:23:27 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:23:27 +0000 |
| commit | a1c56b184466a35a90a8f21d9fcfa4a3662e2dcb (patch) | |
| tree | cd2d4f1183e6d0791b3301c6081040863c298d2d | |
| parent | 4e34f958f42abefd57dea9e4c13cc98bb9e292ab (diff) | |
| download | bcm5719-llvm-a1c56b184466a35a90a8f21d9fcfa4a3662e2dcb.tar.gz bcm5719-llvm-a1c56b184466a35a90a8f21d9fcfa4a3662e2dcb.zip | |
Add accessor method to return a GRStateManager's internal ConstraintManager.
llvm-svn: 66625
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRState.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRState.h b/clang/include/clang/Analysis/PathSensitive/GRState.h index 9c30aa631d7..72418583ae3 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRState.h +++ b/clang/include/clang/Analysis/PathSensitive/GRState.h @@ -333,6 +333,7 @@ public: llvm::BumpPtrAllocator& getAllocator() { return Alloc; } MemRegionManager& getRegionManager() { return StoreMgr->getRegionManager(); } StoreManager& getStoreManager() { return *StoreMgr; } + ConstraintManager& getConstraintManager() { return *ConstraintMgr; } const GRState* BindDecl(const GRState* St, const VarDecl* VD, SVal IVal) { // Store manager should return a persistent state. |
