http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58143 --- Comment #18 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- (In reply to Richard Biener from comment #17) > *** Bug 58731 has been marked as a duplicate of this bug. *** Richard, should I commit my patch now?