http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58226
--- Comment #4 from Vittorio Zecca <zeccav at gmail dot com> --- I could not reproduce the issue with version 4.8.2 20130920, probably it has silently been fixed sometime in the past. Maybe this issue should be closed.