PR# 11271 Illegal metamorphose type when melted and assign address of expanded attribute to ANY

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2006/09/12

Class: Bug

Severity: Serious

Number: 11271

Release: 5.7.63441

Confidential: No

Status: Analyzed

Responsible: manus_eiffel

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.7.10) Gecko/20050726 Firefox/1.0.6 Solaris 9 on SPARC

Synopsis: Illegal metamorphose type when melted and assign address of expanded attribute to ANY

Description

Assigning `$x' to a variable of type ANY causes an illegal metamorphose type
error when system is executed, but only if code is melted.  Frozen code
works correctly.

See attached classes.

To Reproduce

Problem Report Interactions

From:manus_eiffel Date:2007/06/01 Download

It should actually print TYPED_POINTER [TEST1] as $ yields a TYPED_POINTER instance now.

From:manus_eiffel Date:2007/06/01 Status: Analyzed Download

It should print POINTER in both scenario. Added eweasel test#melt078.

From:prestoat2000 Date:2007/06/01 Download

This test case no longer causes an illegal metamorphose type when system is
executed, which is what it used to do.  Now execution terminates normally.
However, when code is melted system execution prints "TEST1" and when system
is frozen, execution prints "POINTER".  So there is still a bug here but
the symptoms are different.

From:prestoat2000 Date:2006/09/12 Download

Attachments for problem report #11271

Attachment: test.ecf Size:1575

Attachment: test.e Size:141

Attachment: test1.e Size:26