https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60723
--- Comment #19 from christophe.lyon at st dot com --- As discussed on IRC, I could test your patch, and the compiler now builds successfully.
christophe.lyon at st dot com Thu, 03 Jul 2014 06:49:24 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60723
--- Comment #19 from christophe.lyon at st dot com --- As discussed on IRC, I could test your patch, and the compiler now builds successfully.