http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51033
--- Comment #15 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-04-17 13:23:11 UTC --- :) Thanks for making me happy and sorry for being a PITA. Are you planning to send it to gcc-patches for approval or are you not happy with it yet?