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
