http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59059
Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |congh at google dot com, | |Joost.VandeVondele at mat dot ethz | |.ch --- Comment #1 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> --- has been reported on the list but not bugzilla I think: http://gcc.gnu.org/ml/gcc-patches/2013-11/msg00946.html