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