Bug#881236: flint-arb: tests fail on amd64 and i386

[Ximin Luo]

Control: reassign -1 src:flint
Control: retitle -1 flint: omits __volatile__ in assembly division, causing faulty optimisations
Control: affects -1 src:flint-arb

The bug is in flint not flint-arb, see:

https://gmplib.org/list-archives/gmp-bugs/2017-October/004231.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82677
https://github.com/fredrik-johansson/arb/issues/194

We patched flint on amd64 in Debian as a minimal fix, but the proper fix is being discussed with GMP upstream, where flint copied its code from.

I will extend the patch to i386 later today, and close this bug with a new flint upload.

X

On Thu, 9 Nov 2017 08:19:27 +0100 Matthias Klose <doko at debian.org> wrote:
> Package: src:flint-arb
> Version: 2.11.1-1
> Severity: serious
> Tags: sid buster
> 
> The x86* builds fail with:
> 
> make[3]: Leaving directory '/<<PKGBUILDDIR>>/dlog'
> make[3]: Entering directory '/<<PKGBUILDDIR>>/arb_fmpz_poly'
> gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=.
> -fstack-protector-strong -Wformat -Werror=format-security -I/<<PKGBUILDDIR>>
> -I/usr/local/include -I/usr/local/include -I/usr/include test/t-evaluate_acb.c
> -o ../build/arb_fmpz_poly/test/t-evaluate_acb -L/<<PKGBUILDDIR>>
> -L/usr/local/lib -L/usr/local/lib -L/usr/lib -lflint-arb -lflint -lmpfr -lgmp
> -lm -lpthread  -MMD -MP -MF ../build/arb_fmpz_poly/test/t-evaluate_acb.d -MT
> "../build/arb_fmpz_poly/test/t-evaluate_acb" -MT
> "../build/arb_fmpz_poly/test/t-evaluate_acb.d"
> gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=.
> -fstack-protector-strong -Wformat -Werror=format-security -I/<<PKGBUILDDIR>>
> -I/usr/local/include -I/usr/local/include -I/usr/include
> test/t-gauss_period_minpoly.c -o
> ../build/arb_fmpz_poly/test/t-gauss_period_minpoly -L/<<PKGBUILDDIR>>
> -L/usr/local/lib -L/usr/local/lib -L/usr/lib -lflint-arb -lflint -lmpfr -lgmp
> -lm -lpthread  -MMD -MP -MF ../build/arb_fmpz_poly/test/t-gauss_period_minpoly.d
> -MT "../build/arb_fmpz_poly/test/t-gauss_period_minpoly" -MT
> "../build/arb_fmpz_poly/test/t-gauss_period_minpoly.d"
> gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=.
> -fstack-protector-strong -Wformat -Werror=format-security -I/<<PKGBUILDDIR>>
> -I/usr/local/include -I/usr/local/include -I/usr/include test/t-complex_roots.c
> -o ../build/arb_fmpz_poly/test/t-complex_roots -L/<<PKGBUILDDIR>>
> -L/usr/local/lib -L/usr/local/lib -L/usr/lib -lflint-arb -lflint -lmpfr -lgmp
> -lm -lpthread  -MMD -MP -MF ../build/arb_fmpz_poly/test/t-complex_roots.d -MT
> "../build/arb_fmpz_poly/test/t-complex_roots" -MT
> "../build/arb_fmpz_poly/test/t-complex_roots.d"
> gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=.
> -fstack-protector-strong -Wformat -Werror=format-security -I/<<PKGBUILDDIR>>
> -I/usr/local/include -I/usr/local/include -I/usr/include test/t-evaluate_arb.c
> -o ../build/arb_fmpz_poly/test/t-evaluate_arb -L/<<PKGBUILDDIR>>
> -L/usr/local/lib -L/usr/local/lib -L/usr/lib -lflint-arb -lflint -lmpfr -lgmp
> -lm -lpthread  -MMD -MP -MF ../build/arb_fmpz_poly/test/t-evaluate_arb.d -MT
> "../build/arb_fmpz_poly/test/t-evaluate_arb" -MT
> "../build/arb_fmpz_poly/test/t-evaluate_arb.d"
> evaluate_acb....gauss_period_minpoly....../Makefile.subdirs:84: recipe for
> target '../build/arb_fmpz_poly/test/t-gauss_period_minpoly_RUN' failed
> make[3]: *** [../build/arb_fmpz_poly/test/t-gauss_period_minpoly_RUN] Floating
> point exception
> make[3]: *** Waiting for unfinished jobs....
> 
> 

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git