https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78842
--- Comment #6 from Jim Michaels <jmichae3 at yahoo dot com> --- (In reply to Nathan Sidwell from comment #4) > sigh, bugzilla's moving on to 'random' other bug gets me. Again. btw, I think that random bug number feature is in preferences.
