PR# 15825 Adding descendant of class used in anchored type and then making it expanded crashes compiler

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2009/05/18

Class: Bug

Severity: Serious

Number: 15825

Release: 6.4.78600

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.9.0.10) Gecko/2009042715 Firefox/3.0.10 Solaris 10 on SPARC

Synopsis: Adding descendant of class used in anchored type and then making it expanded crashes compiler

Description

A system has an agent with an open target of type `like a'.  After initial
compilation, the type of `a' is changed to a newly added descendant class of
the original type of `a'.  Then this new class is changed to be an expanded
class, which causes the compiler to crash with a call on Void target in
{GEN_TYPE_A}.static_type_id in degree 2.

This is similar to (and possibly the same bug as) bug #15342 (eweasel test
incr315) but in that case the compiler crashed in degree 1, so Manu suggested
that I add this test.

Added eweasel test incr329 for this bug.

To Reproduce

Run eweasel test incr329.

Problem Report Interactions

From:alexk_es Date:2010/06/28 Status: Closed Download

Fixed in rev#83733 of EiffelStudio 6.7 intermediate release.