PR# 16893 Changing type of attribute in system with QAT crashes compiler in degree 1

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/21
Class: Bug
Severity: Serious
Number: 16893
Release: 6.6.83602
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x64
Synopsis: Changing type of attribute in system with QAT crashes compiler in degree 1

Description
This is another example where changing the type of an attribute in a
system that uses qualified anchored types with generic classes and 
`like Current' crashes the compiler.  In this case, the trace is:

-------------------------------------------------------------------------------
GEN_TYPE_A          is_expanded @1                                      
<000000000B319CC8>  (From CL_TYPE_A)       Feature call on void target.  Fail
-------------------------------------------------------------------------------
GEN_TYPE_A          is_expanded @1                                      
<000000000B319CC8>  (From CL_TYPE_A)       Routine failure.              Fail
-------------------------------------------------------------------------------
LIKE_CURRENT        is_expanded @2                                      
<000000000B319C98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
LIKE_CURRENT        annotation_flags @1                                 
<000000000B319C98>  (From LIKE_TYPE_A)     Routine failure.              Fail
-------------------------------------------------------------------------------

Added eweasel test incr359 for this bug.
To Reproduce
Run eweasel test incr359.
Problem Report Interactions
From:alexk_es    Date:2010/06/22    Status: Closed    Download   
Fixed in rev#83673 of EiffelStudio 6.7 intermediate release.