On Feb 16, 2023, at 10:20 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > It wasn't long ago that I xfailed these tests on arm-*-eabi, but the > fail is expected on all other arm targets: even when hard float is > available, conversions between 64-bit integers and double are always > emulated on ARM, and the emulation disregards rounding modes. So, > bump the xfail to all of arm-*-*. > > Regstrapped on x86_64-linux-gnu. > Tested on arm-vxworks7 (gcc-12) and arm-eabi (trunk). Ok to install?
Ok.
