http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59484
--- Comment #3 from Reinhold Straub <demarchie at web dot de> --- (In reply to Steve Kargl from comment #2) There is obviously no bug :-) Sorry for the noise. And thanks for your very helpful comments!