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