http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57425
--- Comment #15 from Mikael Pettersson <mikpelinux at gmail dot com> --- Bill, I can submit the patch on Saturday (too busy before then), but I don't have commit rights so someone else will have to commit it (assuming it's approved). /Mikael