https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80401
--- Comment #7 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- There was some dispute about whether it was fixed. Mike, can you still reproduce the problem?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80401
--- Comment #7 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- There was some dispute about whether it was fixed. Mike, can you still reproduce the problem?