https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80759
--- Comment #57 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #56 from Daniel Santos <daniel.santos at pobox dot com> --- [...] > Wonderful! I presume that we still need libgcc buy-off? I'll put together a > ChangeLog and post it to gcc-patches tomorrow. Right. Best copy both Uros and Iain Sandoe for x86 and Darwin review in case they have ideas or suggestions. Thanks again. Rainer