http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56131
--- Comment #19 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-25 10:32:36 UTC --- Please post the patch to gcc-patches, if there are issues on picochip, they can be resolved later, the patch will cure the issues on the primary and secondary architectures.