82 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()  argument
85 REGISTER_TRAIT_WITH_PROGRAMSTATE(EnvPtrRegion, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
90                                const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
96   const MemRegion *SymbolicEnvPtrRegion = State->get<EnvPtrRegion>();  in REGISTER_SET_WITH_PROGRAMSTATE()
122   if (const MemRegion *const *Reg = State->get<PreviousCallResultMap>(FD)) {  in postPreviousReturnInvalidatingCall()
123     const MemRegion *PrevReg = *Reg;  in postPreviousReturnInvalidatingCall()
147   const MemRegion *MR =  in postPreviousReturnInvalidatingCall()
148       const_cast<MemRegion *>(SymRegOfRetVal->getBaseRegion());  in postPreviousReturnInvalidatingCall()
163 static const MemRegion *findInvalidatedSymbolicBase(ProgramStateRef State,  in findInvalidatedSymbolicBase()
164                                                     const MemRegion *Reg) {  in findInvalidatedSymbolicBase()
206       if (const MemRegion *InvalidatedSymbolicBase =  in checkPostCall()
239   const MemRegion *EnvpReg =  in checkBeginFunction()
253   const MemRegion *InvalidatedSymbolicBase =  in checkLocation()