Searched refs:EnvpReg (Results 1 – 1 of 1) sorted by relevance
324 const MemRegion *EnvpReg = in checkBeginFunction() local329 C.addTransition(State->set<MainEnvPtrRegion>(EnvpReg)); in checkBeginFunction()