http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56141
--- Comment #5 from jarausch at igpm dot rwth-aachen.de 2013-01-30 11:54:14 UTC --- Many thanks for your help, Helmut.
jarausch at igpm dot rwth-aachen.de Wed, 30 Jan 2013 03:55:18 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56141
--- Comment #5 from jarausch at igpm dot rwth-aachen.de 2013-01-30 11:54:14 UTC --- Many thanks for your help, Helmut.