Lines Matching defs:MemRegion

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