https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79912
Andrew Waterman <andrew at sifive dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |andrew at sifive dot com
--- Comment #14 from Andrew Waterman <andrew at sifive dot com> ---
(In reply to mpf from comment #13)
> (In reply to Palmer Dabbelt from comment #12)
> > I believe this is a problem in the RISC-V port, so you're welcome to assign
> > the bug to me. I might not have time to fix this today, this way I won't
> > lose it.
>
> Thanks Palmer, glad I could find something specific to try and resolve this
> as it could have easily been much harder! Sorry to have exposed a bug so
> late in the release but I suspect there were other ways to hit this already
> so it may just have caught it early.
I suspect you are correct; and if so, it is we who should thank you :)
>
> Matthew
