Searched refs:OptR (Results 1 – 1 of 1) sorted by relevance
280 if (auto OptR = StateMgr.getStoreManager().castRegion(R, Ty)) in getCastedMemRegionVal() local281 return loc::MemRegionVal(*OptR); in getCastedMemRegionVal()