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