On Wed, Jun 28, 2023 at 12:32:51PM +0000, Richard Biener wrote: > As said there's nothing run after NRV.
There is expansion but in the <result> case I strongly doubt we are trying to stack reuse it for other vars, so maybe it is ok. > > On the other side, could there be partial clobbers for the var -> <result>, > > var.fld = {CLOBBER}; > > ? Or even worse, indirect clobbers (MEM_REF with SSA_NAME pointing to > > var or parts of it)? > > We know that 'var' is not address taken, not sure about the partial > clobbers. We could deal with this in the walk_gimple_op case and > simply remove a clobber when data.modified. LGTM. Jakub