PR# 18952 attached expression in precondition generates seg fault on expanded/comparable object

Problem Report Summary
Submitter: jimmy.johnson
Category: Runtime
Priority: Medium
Date: 2014/09/12
Class: Bug
Severity: Serious
Number: 18952
Release: 14.05.9.5417 GPL ... x86-64
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Firefox/24.0
Synopsis: attached expression in precondition generates seg fault on expanded/comparable object

Description
From APPLICATION

	test (a_value: ANY)
		require
			valid_form: attached {EC} a_value
		do
			check attached {EC} a_value then end
		end

When a_value is attached to an object of type EC and EC is expanded and inherits from COMPARABLE, the precondition (if checked) causes a segmentation fault.  The check statement, containing the same expression, seems to work fine.
To Reproduce
Compile and run the two files.
Problem Report Interactions
From:alexk_es    Date:2016/10/08    Status: Closed    Download    
Fixed in rev#99267.

From:jimmy.johnson    Date:2016/10/06    Status: Closed    Download    
Okay, thanks.

From:manus_eiffel    Date:2014/09/29    Download    
We have added eweasel test#melt106 to show the issue.

From:manus_eiffel    Date:2014/09/29    Status: Analyzed    Download    
Looks like there is a bug when the code is melted. A workaround is to freeze.

From:jimmy.johnson    Date:2014/09/12    Download    
Attachments for problem report #18952

Attachment: application.e     Size:267
Attachment: ec.e     Size:242