PR# 19591 Crashing finalized

Problem Report Summary
Submitter: markghoward
Category: Compiler
Priority: High
Date: 2019/10/18
Class: Bug
Severity: Critical
Number: 19591
Release: 19.05
Confidential: No
Status: Analyzed
Responsible: alexk_es
Environment: mac
Synopsis: Crashing finalized

Application crashes finalized.  This was distilled from an application in which a feature called in one context crashed finalized with assertions turned off or dead feature removal enabled, but not otherwise.  Always worked workbench (still does), and worked if called from a different place.  The generated c code had different offsets for the called feature in the two different places it was invoked.
To Reproduce
compile the application and run it
Problem Report Interactions
From:alexk_es    Date:2019/10/28    Status: Analyzed    Download   
The bug is fixed in rev#103612 of EiffelStudio 19.11 intermediate release.

The examples run without a problem when compiled with EiffelStudio 18.11, so the affected version seems to be 19.05.

From:markghoward    Date:2019/10/19    Status: Open    Download   
Even simpler example ... nothing exotic

Attachment:     Size:3579
From:markghoward    Date:2019/10/18    Status: Open    Download   
Here is a much simpler example ... incidentally if you comment out string_value (which is never called) from RL_JSON_STRUCTURE then it no longer crashes.  This also crashes the same way on windows, and probably linux since that was where we first saw the problem.  

Attachment:     Size:6045
From:markghoward    Date:2019/10/18    Download   
Attachments for problem report #19591

Attachment:     Size:592740