http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58313
--- Comment #3 from Markus Trippelsdorf <markus at trippelsdorf dot de> --- Probably dup of Bug 58201.
markus at trippelsdorf dot de Wed, 04 Sep 2013 04:00:19 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58313
--- Comment #3 from Markus Trippelsdorf <markus at trippelsdorf dot de> --- Probably dup of Bug 58201.