On 01/09/2018 08:34 AM, Richard Sandiford wrote: > Possible ping: wasn't sure whether this one needed more work or whether > it was OK to go in. I've attached the patch with the improved comment > above early_remat::emit_copy_before. > You answered all the questions I had. I should have explicitly ack'd at that point. Sorry. OK for the trunk, Jeff