Pip, see:https://gcc.gnu.org/ml/gcc-patches/2016-03/msg00195.html If you wish to submit more patches, please see: https://gcc.gnu.org/wiki/GettingStarted#Basics:_Contributing_to_GCC_in_10_easy_steps Cheers, Manuel. On 2 March 2016 at 15:16, Jeff Law <law@xxxxxxxxxx> wrote: > On 03/02/2016 06:36 AM, Manuel López-Ibáñez wrote: >> >> I likeit! I can commit this patch for you if Jeff approves. > > Looks reasonable to me. > > jeff >