Searched refs:MainRegion (Results 1 – 1 of 1) sorted by relevance
125 const MemRegion *MainRegion = State->get<MainEnvPtrRegion>(); in REGISTER_SET_WITH_PROGRAMSTATE() local128 return C.getNoteTag([this, MainRegion, GetenvRegions, in REGISTER_SET_WITH_PROGRAMSTATE()140 if (BR.isInteresting(MainRegion)) { in REGISTER_SET_WITH_PROGRAMSTATE()141 BR.markNotInteresting(MainRegion); in REGISTER_SET_WITH_PROGRAMSTATE()