/// KillStruct - Set the entire struct to unknown.
const GRState *KillStruct(const GRState *state, const TypedRegion* R);
- const GRState *setDefaultValue(const GRState *state, const MemRegion* R, SVal V);
-
Store Remove(Store store, Loc LV);
//===------------------------------------------------------------------===//
return state->makeWithStore(store);
}
-const GRState *RegionStoreManager::setDefaultValue(const GRState *state,
- const MemRegion* R, SVal V) {
- return state->set<RegionDefaultValue>(R, V);
-}
-
const GRState*
RegionStoreManager::CopyLazyBindings(nonloc::LazyCompoundVal V,
const GRState *state,