Searched refs:InvalidMemoryRegions (Results 1 – 1 of 1) sorted by relevance
84 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE() argument102 State = State->add<InvalidMemoryRegions>(SymbolicEnvPtrRegion); in REGISTER_SET_WITH_PROGRAMSTATE()126 State = State->add<InvalidMemoryRegions>(PrevReg); in postPreviousReturnInvalidatingCall()168 if (State->contains<InvalidMemoryRegions>(Reg)) in findInvalidatedSymbolicBase()