104 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()  argument
107 REGISTER_TRAIT_WITH_PROGRAMSTATE(MainEnvPtrRegion, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
110 REGISTER_SET_WITH_PROGRAMSTATE(GetenvEnvPtrRegions, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
115                                const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
120   const MemRegion *MainRegion = State->get<MainEnvPtrRegion>();  in REGISTER_SET_WITH_PROGRAMSTATE()
140     for (const MemRegion *MR : GetenvRegions) {  in REGISTER_SET_WITH_PROGRAMSTATE()
165   if (const MemRegion *MainEnvPtr = State->get<MainEnvPtrRegion>())  in EnvpInvalidatingCall()
167   for (const MemRegion *EnvPtr : State->get<GetenvEnvPtrRegions>())  in EnvpInvalidatingCall()
185   if (const MemRegion *const *Reg = State->get<PreviousCallResultMap>(FD)) {  in postPreviousReturnInvalidatingCall()
186     const MemRegion *PrevReg = *Reg;  in postPreviousReturnInvalidatingCall()
214   const MemRegion *MR = SymRegOfRetVal->getBaseRegion();  in postPreviousReturnInvalidatingCall()
229 static const MemRegion *findInvalidatedSymbolicBase(ProgramStateRef State,  in findInvalidatedSymbolicBase()
230                                                     const MemRegion *Reg) {  in findInvalidatedSymbolicBase()
257     const MemRegion *Region = Call.getReturnValue().getAsRegion();  in checkPostCall()
286       if (const MemRegion *InvalidatedSymbolicBase =  in checkPostCall()
319   const MemRegion *EnvpReg =  in checkBeginFunction()
333   const MemRegion *InvalidatedSymbolicBase =  in checkLocation()