Offset == X.Offset;
}
- operator bool() const {
+ bool isValid() const {
return getRegion() != NULL;
}
};
}
RegionBindings RegionStoreManager::Add(RegionBindings B, BindingKey K, SVal V) {
- if (!K)
+ if (!K.isValid())
return B;
return RBFactory.Add(B, K, V);
}
}
const SVal *RegionStoreManager::Lookup(RegionBindings B, BindingKey K) {
- if (!K)
+ if (!K.isValid())
return NULL;
return B.lookup(K);
}
}
RegionBindings RegionStoreManager::Remove(RegionBindings B, BindingKey K) {
- if (!K)
+ if (!K.isValid())
return B;
return RBFactory.Remove(B, K);
}