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