[gambit-list] Consistent, small program segmentation fault between 4.6.7 and 4.5.8

Marc Feeley feeley at iro.umontreal.ca
Tue Jun 4 10:06:07 EDT 2013


I will look into this today.  Could you try to add the -:m1 option to gsi to see if the problem goes away?

Marc

On 2013-06-04, at 6:27 AM, Bradley Lucier <lucier at math.purdue.edu> wrote:

> Marc:
> 
> Mikael suggested I try the latest git sources.  It seems a bit tricky to check this, but now it fails in a different spot:
> 
> | | | | | | | |[18] > (ch-split 6609 6610)
> | | | | | | | |[18] (20789225789255 3159252498417651412992000000 749116857627...
> | | | | | | | |[17] (431995770090641789367252995 9976347135539380257462504903...
> | | | | | | | |[16] (8972707390029017950422444769281189457425 314891990706664...
> | | | | | | | |[15] (38656266303470196595284128367722181166935118151571051173...
> | | | | | | | |[14] (71358445123714509645814076642658331938427833305735594298...
> | | | | | | | |[13] (49079851597922581822727566926626060210949251095570196270...
> | | | | | | | |[12] (10158939265674456623080461891687317995862311556618915837...
> | | | | | | | |[11] (29294608144605719610022007244664483586548961568455452129...
> | | | | | | | | | | (96655719895024763008024327986931083167727982886636108194...
> | | | | | | | | | (1368994927966162103239679387456341359748577643956219821854...
> | | | | | | | | (247887770447988428854196741866881218497919796824099911845601...
> | | | | | | | (25945985393924280236794705093738737908280391014578928709150366...
> | | | | | | *** FATAL ERROR -- Heap overflow
> 
> frying-pan:~/lang/scheme/chudnovsky> gsi -v
> v4.6.9 20130603041537 x86_64-unknown-linux-gnu "./configure '--enable-single-host' '--enable-multiple-versions' '--enable-shared'"
> 
> I basically did  "./configure; make bootstrap; make bootclean; make bootstrap; make bootclean; make; make install" because the last checkin changed the compiler and I didn't know if that change was reflected in the C sources that were distributed with git.
> 
> And I don't get the failure in 4.6.8 if I don't configure with '--enable-shared'.
> 
> Uggh.
> 
> Brad
> 
> On 06/03/2013 09:37 PM, Bradley Lucier wrote:
>> 
>> Marc:
>> 
>> The program at the end works in 4.6.7, fails in 4.6.8 in the following environment:
>> 
>> Works:
>> 
>> frying-pan:~/lang/scheme/chudnovsky> gsi -v
>> v4.6.7 20130219214006 x86_64-unknown-linux-gnu "./configure '--enable-single-host' '--enable-shared' '--enable-multiple-versions'"
>> 
>> Doesn't work:
>> 
>> frying-pan:~/lang/scheme/chudnovsky> gsi -v
>> v4.6.8 20130430024640 x86_64-unknown-linux-gnu "./configure '--enable-single-host' '--enable-shared' '--enable-multiple-versions'"
>> frying-pan:~/lang/scheme/chudnovsky> gcc -v
>> Using built-in specs.
>> COLLECT_GCC=gcc
>> COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.7/lto-wrapper
>> Target: x86_64-linux-gnu
>> Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.7.3-1ubuntu1' --with-bugurl=file:///usr/share/doc/gcc-4.7/README.Bugs --enable-languages=c,c++,go,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.7 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.7 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --with-system-zlib --enable-objc-gc --with-cloog --enable-cloog-backend=ppl --disable-cloog-version-check --disable-ppl-version-check --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
>> Thread model: posix
>> gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1)
>> frying-pan:~/lang/scheme/chudnovsky> uname -a
>> Linux frying-pan 3.8.0-23-generic #34-Ubuntu SMP Wed May 29 20:22:58 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
>> frying-pan:~/lang/scheme/chudnovsky> gsi -e '(load "chud1.scm")'
>> | > (ch-split 0 7053)
>> | | > (ch-split 0 3526)
>> <lots of stuff removed>
>> | | | | | | | |[13] > (ch-split 73 75)
>> | | | | | | | |[14] > (ch-split 73 74)
>> | | | | | | | |[14] (28588119 4432769187497607168000 1153643848480497675)
>> | | | | | | | |[14] > Segmentation fault (core dumped)
>> 
>> Brad




More information about the Gambit-list mailing list