PR# 19654 Segmentation fault when compiling without assertions but no error compiling with assertions

Problem Report Summary
Submitter: phgachoud
Category: Compiler
Priority: Medium
Date: 2020/06/15
Class: Bug
Severity: Serious
Number: 19654
Release: 19.12
Confidential: No
Status: Open
Responsible:
Environment: Raspbian 10.0 (raspberry pi 3B+)
Synopsis: Segmentation fault when compiling without assertions but no error compiling with assertions

Description
Segmentation fault after second file processing when compiled without assertions. I remember Alexander Kogtenkov pointed me out any possible issue of that type with anchoring Types with feature parameters but don't think I did it on this case. 

https://drive.google.com/file/d/1sfUJ4VDqxG2KW1QVny3L-6vtl3-54Dzv/view?usp=sharing
To Reproduce
  - Copy /eiffel/raspi/env_conf/etc/opt/solarity/raspi_data_visitor.common.json /etc/opt/solarity/
  - Copy /eiffel/sample_csv_files to /var/solarity
  - cd eiffel/raspi
  - make (change Makefile with or without the -keep option for with or without assertions)
  - make run (or run the raspi_data_visitor)
Problem Report Interactions