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