http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58506
--- Comment #5 from gcc-bug at sogetthis dot com --- OK. Sorry for reporting a known (and resolved) problem. The change looks good. Thank you for your time. Sorry for the inconvenience. (You guys are really quick BTW:-).