Lines Matching defs:Ownership
45 // Ownership
48 Ownership::Ownership(Value indicator)
51 Ownership Ownership::getUnknown() {
52 Ownership unknown;
57 Ownership Ownership::getUnique(Value indicator) { return Ownership(indicator); }
58 Ownership Ownership::getUninitialized() { return Ownership(); }
60 bool Ownership::isUninitialized() const {
63 bool Ownership::isUnique() const { return state == State::Unique; }
64 bool Ownership::isUnknown() const { return state == State::Unknown; }
66 Value Ownership::getIndicator() const {
71 Ownership Ownership::getCombined(Ownership other) const {
91 void Ownership::combine(Ownership other) { *this = getCombined(other); }
99 void DeallocationState::updateOwnership(Value memref, Ownership ownership,
111 ownershipMap[{val, block}] = Ownership::getUninitialized();
114 Ownership DeallocationState::getOwnership(Value memref, Block *block) const {
141 Ownership ownership = iter->second;
191 Ownership ownership = ownershipMap.lookup({memref, block});