Searched refs:MainEnvPtr (Results 1 – 1 of 1) sorted by relevance
170 if (const MemRegion *MainEnvPtr = State->get<MainEnvPtrRegion>()) in EnvpInvalidatingCall() local171 State = State->add<InvalidMemoryRegions>(MainEnvPtr); in EnvpInvalidatingCall()