Searched refs:updatedRefVal (Results 1 – 1 of 1) sorted by relevance
694 if (std::optional<RefVal> updatedRefVal = refValFromRetEffect(RE, ResultTy)) in checkSummary() local695 state = setRefBinding(state, Sym, *updatedRefVal); in checkSummary()