Stack overflow and segfault in DCRvardec when compiling with -check ctb


Bugzilla Link	613
Created on	Dec 06, 2009 01:10
Version	svn
OS	All
Architecture	PC

Extended Description

sac2c product version 16651
From the sac repository compile demos/numerical/tvd/tvd_abstract.sac (version 1171) with the following command:
sac2c-p -O3 -v1 -maxlur 10  -L fluid tvd2d_abstract.sac -check ctb
and it segfaults in DCRvardec (stdopt/deadcoderemoval.c:506).
Run
sac2c-d -O3 -v1 -maxlur 10  -L fluid tvd2d_abstract.sac -check ctb
and stack overflow warnings are produced:
WARNING: dbug-maxdepth 40000 too low
I enabled the automatic tracing in _db_enter_ in dbug.c and saved the output. The file is quite large so I haven't uploaded it. It is here:
obelix:/home/dsr/tvdabstract-autotrace

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information