http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59142
--- Comment #3 from João M. S. Silva <joao.m.santos.silva at gmail dot com> --- OK, thanks, I will report in Ubuntu's. The compiler says: $ gcc --version gcc (Ubuntu/Linaro 4.8.1-10ubuntu8) 4.8.1 Should I report also in Linaro's? I'm not yet familiarized with Linaro's role in gcc.