http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60171
--- Comment #1 from Dario Lombardo <lomato at gmail dot com> --- On my local platform (ubuntu 12.04, with same version of gcc as travis), I don't have the problem.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60171
--- Comment #1 from Dario Lombardo <lomato at gmail dot com> --- On my local platform (ubuntu 12.04, with same version of gcc as travis), I don't have the problem.