http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57192
--- Comment #5 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2013-05-07 19:16:31 UTC --- Current trunk (without the patch) seems to fix also the original problem. At least for this case, the proposed patch seems not necessary. I think the bug can be closed as fixed.
