https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105342
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |missed-optimization CC| |rguenth at gcc dot gnu.org Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Last reconfirmed| |2022-04-22 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- I think this is on purpose - on GIMPLE at least. One would need to analyze what RTL disambiguation does with ASMs (I would guess nothing, just like GIMPLE). I agree that it might be more consistent to only consider things clobbered by a call, but then we need to look at the explicit memory outputs/clobbers. Is it really important though?