https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18343
--- Comment #5 from Hans-Peter Nilsson <hp at gcc dot gnu.org> --- Woops, this PR was actually for an *identical* file in gcc.dg. Anyway, that test passes without the patch these days so let's keep this PR closed.