diff options
Diffstat (limited to 'include/clang/Analysis/PathSensitive/Store.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/Store.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/clang/Analysis/PathSensitive/Store.h b/include/clang/Analysis/PathSensitive/Store.h index d4f152dea7..e6599ef078 100644 --- a/include/clang/Analysis/PathSensitive/Store.h +++ b/include/clang/Analysis/PathSensitive/Store.h @@ -39,13 +39,13 @@ public: typedef llvm::DenseSet<SymbolID> DeadSymbolsTy; virtual ~StoreManager() {} - virtual SVal GetSVal(Store St, Loc LV, QualType T = QualType()) = 0; + virtual SVal Retrieve(Store St, Loc LV, QualType T = QualType()) = 0; virtual SVal GetRegionSVal(Store St, const MemRegion* R) { - return GetSVal(St, loc::MemRegionVal(R)); + return Retrieve(St, loc::MemRegionVal(R)); } - virtual Store SetSVal(Store St, Loc LV, SVal V) = 0; + virtual Store Bind(Store St, Loc LV, SVal V) = 0; virtual Store Remove(Store St, Loc LV) = 0; virtual Store getInitialStore() = 0; virtual MemRegionManager& getRegionManager() = 0; |