> It seems to me that a REG_UNUSED note on a CLOBBER is unnecessary, and > it also goes against the documented purpose of a REG_UNUSED note in > reg-notes.def: > > /* Identifies a register set in this insn and never used. */ > REG_NOTE (UNUSED) > > After all, a CLOBBER is not a register set, so I think a patch like > the one below is necessary. > > Thoughts?
This looks more like a small oversight in the DF implementation than a real design decision, so I'd go ahead with your patch. -- Eric Botcazou