https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60440
--- Comment #7 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- If CC:ing me on a bug, please always state the specific question on which you want an opinion; don't CC me simply because I maintain the relevant part of the compiler (I read gcc-bugs) or because I commented on the bug in the past.
