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!

Reply via email to