https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87193
--- Comment #3 from W E Brown <webrown.cpp at gmail dot com> --- Sorry; hadn't seen or recalled the note cited by comment 1. Agreed with comment 2 that this need not be a priority. My (admittedly hostile) experimental code caught it, so I thought to note it for the record. Thanks for confirming.
