Bug#954681: [gnat-9] CONSTRAINT_ERROR : uintp.adb:1959 overflow check failed
On 9/27/20 7:46 AM, Nicolas Boulenguez wrote:
> Package: src:gcc-9
> Followup-For: Bug #954681
> Control: reassign -1 gnat-10
> Control: retitle -1 CONSTRAINT_ERROR : uintp.adb:2002 overflow check failed
>
> Since version 10-20200410-1, the SOURCE_DATE_EPOCH patch should not
> trigger this bug anymore. However, this bug is most probably not
> fixed, and a reproducer unrelated with GCC sources would really help
> the investigation.
>
> If your message (#69) was based on a more recent version, please tell
> us. Else, please try again with a recent one (in experimental for
> example). Thanks in advance.
Thanks for the note! I finally got around to trying another build of
phcpack. With the latest version of gnat-10 installed (10.2.0-15) in a
sid schroot, I still get this bug, provided that the SOURCE_DATE_EPOCH
environment variable is set.
To reproduce:
git clone https://github.com/janverschelde/PHCpack
cd PHCpack
make -C src/Objects SOURCE_DATE_EPOCH=0
The build eventually ends with:
GNAT 10.2.0
Copyright 1992-2020, Free Software Foundation, Inc.
Compiling: /build/phcpack-2.4.80/src/Ada/Math_Lib/Vector
/standard_integer64_vecvecs.ads
Source file time stamp: 1970-01-01 00:00:00
Compiled at: 2020-10-16 19:34:11
10 lines: No errors
gnatbind phctop use_c2phc pieri_solver
raised CONSTRAINT_ERROR : uintp.adb:2002 overflow check failed
make[1]: *** [makefile_unix:106: phc] Error 1
make[1]: Leaving directory '/build/phcpack-2.4.80/src/Objects'
make: *** [makefile:15: phc] Error 2
make: Leaving directory '/build/phcpack-2.4.80/src/Objects'
If I build without setting SOURCE_DATE_EPOCH, then everything runs as
expected.
Doug
Reply to: