PR# 16900 Changing attribute type crashes compiler in {GEN_TYPE_A}.static_type_id

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/22
Class: Bug
Severity: Serious
Number: 16900
Release: 6.6.83602
Confidential: No
Status: Closed
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv: Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x64
Synopsis: Changing attribute type crashes compiler in {GEN_TYPE_A}.static_type_id

Changing the type of an attribute used as an anchor in a qualified
anchored type and recompiling crashes the compiler in 
{GEN_TYPE_A}.static_type_id.  `b' starts out as a reference type,
then is changed to INTEGER_8, then to INTEGER_64 (compiler crashes
on 3rd compile).

	a: like {TEST1 [like {like Current}.b]}.default

Note that if the actual generic in `a' is just `like b' instead of
`like {like Current}.b' then the associated eweasel test passes.

Added eweasel test incr363 for this bug.

See also tests incr357 (possibly the same bug), incr315 and incr329.
To Reproduce
Run eweasel test incr363.
Problem Report Interactions
From:alexk_es    Date:2010/06/30    Status: Closed    Download   
The test passes in rev#83757 of EiffelStudio 6.7 intermediate release.