http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40362 --- Comment #15 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2013-03-29 09:11:10 UTC --- *** Bug 50175 has been marked as a duplicate of this bug. ***