Problem with Python3.10 - Segmentation fault

[izycheva]

Hello,
I accidentally managed to get a segmentation fault with Satire on one of my benchmarks. Though it might be interesting for you.

The benchmark goubault.txt is a large linear filter over 10K inputs. I had no segmentation fault with Python 3.9, but when I updated to Python 3.10 the issue appeared.

OS: Ubuntu 22.04
Python version: 3.10.6

Log of my commands:

$ python3 satire/src/satire.py --std --file benchmarks/satire/goubault.txt --enable-abstraction
Namespace(file='benchmarks/satire/goubault.txt', parallel=False, enable_abstraction=True, mindepth=20, maxdepth=40, simplify=False, empirical=0, logfile='default.log', outfile='outfile.txt', std=True, sound=False, compress=False, gverbose=False)
Inside Program
Num LHS exprs -> 20001
Const expr -> 0
MaxDepth -> 20000
Segmentation fault (core dumped)

// same without abstraction
$ python3 satire/src/satire.py --std --file benchmarks/satire/goubault.txt 
Namespace(file='benchmarks/satire/goubault.txt', parallel=False, enable_abstraction=False, mindepth=20, maxdepth=40, simplify=False, empirical=0, logfile='default.log', outfile='outfile.txt', std=True, sound=False, compress=False, gverbose=False)
Inside Program
Num LHS exprs -> 20001
Const expr -> 0
MaxDepth -> 20000
Segmentation fault (core dumped)

$ cat benchmarks/satire/goubault.txt | wc -l
20012