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