14 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_STOREREF_H 15 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_STOREREF_H 39 assert(&mgr == &x.mgr);
40 return x.store == store;
const StoreManager & getStoreManager() const
const void * Store
Store - This opaque type encapsulates an immutable mapping from locations to values.
bool operator!=(const StoreRef &x) const
StoreRef & operator=(StoreRef const &)
Dataflow Directional Tag Classes.
StoreRef(Store, StoreManager &)
bool operator==(const StoreRef &x) const