Lines Matching refs:MemRegion

109 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()  argument
112 REGISTER_TRAIT_WITH_PROGRAMSTATE(MainEnvPtrRegion, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
115 REGISTER_SET_WITH_PROGRAMSTATE(GetenvEnvPtrRegions, const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
120                                const MemRegion *)  in REGISTER_SET_WITH_PROGRAMSTATE()
125   const MemRegion *MainRegion = State->get<MainEnvPtrRegion>();  in REGISTER_SET_WITH_PROGRAMSTATE()
145     for (const MemRegion *MR : GetenvRegions) {  in REGISTER_SET_WITH_PROGRAMSTATE()
170   if (const MemRegion *MainEnvPtr = State->get<MainEnvPtrRegion>())  in EnvpInvalidatingCall()
172   for (const MemRegion *EnvPtr : State->get<GetenvEnvPtrRegions>())  in EnvpInvalidatingCall()
190   if (const MemRegion *const *Reg = State->get<PreviousCallResultMap>(FD)) {  in postPreviousReturnInvalidatingCall()
191     const MemRegion *PrevReg = *Reg;  in postPreviousReturnInvalidatingCall()
219   const MemRegion *MR = SymRegOfRetVal->getBaseRegion();  in postPreviousReturnInvalidatingCall()
234 static const MemRegion *findInvalidatedSymbolicBase(ProgramStateRef State,  in findInvalidatedSymbolicBase()
235                                                     const MemRegion *Reg) {  in findInvalidatedSymbolicBase()
262     const MemRegion *Region = Call.getReturnValue().getAsRegion();  in checkPostCall()
291       if (const MemRegion *InvalidatedSymbolicBase =  in checkPostCall()
324   const MemRegion *EnvpReg =  in checkBeginFunction()
338   const MemRegion *InvalidatedSymbolicBase =  in checkLocation()