http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54269
--- Comment #7 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2012-08-22 07:43:30 UTC --- Fixed for current trunk, maybe a dup of PR54332
Joost.VandeVondele at mat dot ethz.ch Wed, 22 Aug 2012 00:45:13 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54269
--- Comment #7 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2012-08-22 07:43:30 UTC --- Fixed for current trunk, maybe a dup of PR54332