diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRState.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRState.h b/include/clang/Analysis/PathSensitive/GRState.h index 285bd02671..38a2b5bec3 100644 --- a/include/clang/Analysis/PathSensitive/GRState.h +++ b/include/clang/Analysis/PathSensitive/GRState.h @@ -665,6 +665,14 @@ public: // Out-of-line method definitions for GRState. //===----------------------------------------------------------------------===// +inline const VarRegion* GRState::getRegion(const VarDecl* D) const { + return Mgr->getRegionManager().getVarRegion(D); +} + +inline const MemRegion* GRState::getSelfRegion() const { + return Mgr->StoreMgr->getSelfRegion(getStore()); +} + inline const GRState *GRState::assume(SVal Cond, bool Assumption) const { return Mgr->ConstraintMgr->Assume(this, Cond, Assumption); } |