Hello, This is a follow up on a thread started long ago there: http://gcc.gnu.org/ml/gcc-patches/2010-09/msg00967.html With a first followup and a patch proposal there: http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00731.html Then a refinement suggested by Richard Sandiford here: http://gcc.gnu.org/ml/gcc-patches/2012-04/msg01515.html We have been running with the proposed patch for years now, it still applies on mainline and bootstraps + regtests fine on x86_64-linux for languages=all,ada. Ok to commit ? Thanks in advance, With Kind Regards, Olivier 2014-05-26 Richard Sandiford * rtl.h (set_for_reg_notes): Declare. * emit-rtl.c (set_for_reg_notes): New function. (set_unique_reg_note): Use it. * optabs.c (add_equal_note): Likewise.