https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85198
--- Comment #5 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- OK, I see Jakub's point now. And this whole business is a big mess -- probably too late to change in 8, but we need to clean this up.