https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64182
--- Comment #6 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #5) > Makes sense. Will you also fix double-int.c when you are on this? OK, I'll take the same approach there. I don't know how to test that code "properly", so in the end I just did some double_int arithmetic at the start of main(). Like you say it wasn't rounding correctly in the unsigned case.
