84 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()  argument
87 REGISTER_TRAIT_WITH_PROGRAMSTATE(EnvPtrRegion, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
92                                const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
98   const MemRegion *SymbolicEnvPtrRegion = State->get<EnvPtrRegion>();  in REGISTER_SET_WITH_PROGRAMSTATE()
124   if (const MemRegion *const *Reg = State->get<PreviousCallResultMap>(FD)) {  in postPreviousReturnInvalidatingCall()
125     const MemRegion *PrevReg = *Reg;  in postPreviousReturnInvalidatingCall()
149   const MemRegion *MR =  in postPreviousReturnInvalidatingCall()
150       const_cast<MemRegion *>(SymRegOfRetVal->getBaseRegion());  in postPreviousReturnInvalidatingCall()
165 static const MemRegion *findInvalidatedSymbolicBase(ProgramStateRef State,  in findInvalidatedSymbolicBase()
166                                                     const MemRegion *Reg) {  in findInvalidatedSymbolicBase()
208       if (const MemRegion *InvalidatedSymbolicBase =  in checkPostCall()
241   const MemRegion *EnvpReg =  in checkBeginFunction()
255   const MemRegion *InvalidatedSymbolicBase =  in checkLocation()