https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64323
--- Comment #1 from christophe.lyon at st dot com --- Maybe this was fixed by Vladimir's commit r218760?
christophe.lyon at st dot com Tue, 16 Dec 2014 01:56:05 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64323
--- Comment #1 from christophe.lyon at st dot com --- Maybe this was fixed by Vladimir's commit r218760?