Searched refs:InvalidMemoryRegions (Results 1 – 1 of 1) sorted by relevance
109 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE() argument171 State = State->add<InvalidMemoryRegions>(MainEnvPtr); in EnvpInvalidatingCall()173 State = State->add<InvalidMemoryRegions>(EnvPtr); in EnvpInvalidatingCall()192 State = State->add<InvalidMemoryRegions>(PrevReg); in postPreviousReturnInvalidatingCall()237 if (State->contains<InvalidMemoryRegions>(Reg)) in findInvalidatedSymbolicBase()