Flint 2.8.5 - sdiv_qrnnd make check fail

[Dimitri Lesnoff]

Hello,

I am trying to install latest flint package on my new computer running arch, with linux kernel 5.18.3-zen1-1-zen.

My processor is an i5-11400F.

I encounter an error with the eight test : sdiv_qrnnd a floating point exception.

I had installed gmp and mpfr beforehand.

Sadly, I did not achieve to attach the logs. I copy here the output of make-check, and if necessary, I will look for an external hosting solution for the log of the make command.

# make check

make[1]: Entering directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
make[1]: Nothing to be done for 'shared'.
make[1]: Leaving directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
make[1]: Entering directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
make[1]: Nothing to be done for 'static'.
make[1]: Leaving directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
make[1]: Entering directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
    CC   build/test/t-add_ssaaaa
    CC   build/test/t-add_sssaaaaaa
    CC   build/test/t-add_ssssaaaaaaaa
    CC   build/test/t-byte_swap
    CC   build/test/t-count_leading_zeros
    CC   build/test/t-count_trailing_zeros
    CC   build/test/t-invert_limb
    CC   build/test/t-sdiv_qrnnd
    CC   build/test/t-smul_ppmm
    CC   build/test/t-sub_dddmmmsss
    CC   build/test/t-sub_ddmmss
    CC   build/test/t-udiv_qrnnd
    CC   build/test/t-udiv_qrnnd_preinv
    CC   build/test/t-umul_ppmm
make[1]: Leaving directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
make[1]: Entering directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
add_ssaaaa....PASS
add_sssaaaaaa....PASS
add_ssssaaaaaaaa....PASS
byte_swap....PASS
count_leading_zeros....PASS
count_trailing_zeros....PASS
invert_limb....PASS
sdiv_qrnnd....make[1]: *** [Makefile.subdirs:107: build/test/t-sdiv_qrnnd_RUN] Floating point exception (core dumped)
make[1]: Leaving directory '/home/kolmogorov/Documents/lip6/lesnoff/code/linalg-bench/flint-2.8.5'
make: *** [Makefile:220: check] Error 2

I will probably install flint through my package manager anyway, so there is no urgency at all for me to debug this.

 Is there any way I can skip failed tests by the way ?

[Albin Ahlbäck]

Hello,

Sorry for the late reply.

There is no problem in the function code. There was, however, a problem in the test code which I pushed a month ago or something like that. This seems to only occur when it is compiled with GCC 11.2 or later (might have been GCC 12.1 or later).

If you still find this issue on the head of the master branch, please open an issue on Github and mention what compiler you are using.

Best,

Albin

[Dimitri Lesnoff]

Hello,

Thanks for both the reply and the fix since all tests now pass with the latest Github version. I compiled on my ArchLinux both with clang 15.0.7 and gcc 13.1.1

Should I always open issues on Github first ?

Regards,

Dimitri

--

---
You received this message because you are subscribed to a topic in the Google Groups "flint-devel" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/flint-devel/b39c36OwKW4/unsubscribe.
To unsubscribe from this group and all its topics, send an email to flint-devel...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/flint-devel/ac1f95bc-41ca-4775-9c60-75db131462bcn%40googlegroups.com.