https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83294 --- Comment #7 from Rich Felker <bugdal at aerifal dot cx> --- Thanks. I think between footnote 125 and DR#315 the intent is clear and this bug report stands as written.