PR# 19242 Operating system signal failure in {STRING_8}.make_from string (from an expanded class)

Problem Report Summary
Submitter: jsostroff
Category: Runtime
Priority: High
Date: 2016/06/06
Class: Bug
Severity: Critical
Number: 19242
Release:
Confidential: No
Status: Closed
Responsible: alexk_es
Environment: OSX and/or Linux
Synopsis: Operating system signal failure in {STRING_8}.make_from string (from an expanded class)

Description
The attached code generates a Segmentation fault: OPERATING_SYSTEM_SIGNAL_FAILURE raised.

Linux as well as OSX
Installation information:
Version = EiffelStudio 16 (16.05.9.8814 GPL Edition - macosx-x86-64)
$ISE_EIFFEL = /usr/local/Eiffel_16.05
$ISE_LIBRARY = /usr/local/Eiffel_16.05
$ISE_PLATFORM = macosx-x86-64
The same problem occurred in 15.12

Call stack:

ObjectClassRoutine
------------------
[0x1062B23C0] STRING_8 make_from_string (From READABLE_STRING_8) ( @ 0 )
[0x1062B23D0] VALUE clone_me ( @ 1 )
[0x1062B23D8] VALUE plus ( @ 3 )
[0x1062B23E0] VALUE plus ( @ 44 )
[0x1062B23E8] VALUE quotient ( @ 97 )
[0x1062B23F0] ROOT test00 <*> ( @ 2 )
[0x1062B23F0] ROOT make <*> ( @ 1 )
To Reproduce
1. Compile the attached code.

2. Run the code.

3. Segmentation fault: OPERATING_SYSTEM_SIGNAL_FAILURE raised.
Problem Report Interactions
From:alexk_es    Date:2018/09/04    Status: Closed    Download   
Fixed in rev#102127 of EiffelStudio 18.11 intermediate release.

From:alexk_es    Date:2018/02/26    Status: Analyzed    Download   
Added an example test#runtime023 that exposes a similar issue, but involving the feature `copy` rather than a class invariant as in test#runtime022.

From:alexk_es    Date:2018/01/16    Status: Analyzed    Download   
Added an example test#runtime022.

From:jsostroff    Date:2016/06/06    Download   
Attachments for problem report #19242

Attachment: value-bug.zip     Size:11714