Searched refs:InvalidMemoryRegions (Results 1 – 1 of 1) sorted by relevance
104 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE() argument166 State = State->add<InvalidMemoryRegions>(MainEnvPtr); in EnvpInvalidatingCall()168 State = State->add<InvalidMemoryRegions>(EnvPtr); in EnvpInvalidatingCall()187 State = State->add<InvalidMemoryRegions>(PrevReg); in postPreviousReturnInvalidatingCall()232 if (State->contains<InvalidMemoryRegions>(Reg)) in findInvalidatedSymbolicBase()