PR# 16855 Finalizing with object test with qualified anchored type referencing generic crashes compiler

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/16
Class: Bug
Severity: Serious
Number: 16855
Release: 6.6.83355
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: Finalizing with object test with qualified anchored type referencing generic crashes compiler

Description
A class that uses a qualified anchored type in an object test where the type 
references an attribute of a generic class compiles and executes correctly
when frozen.  But finalizing (without inlining) crashes the compiler in degree -3 with:

-------------------------------------------------------------------------------
GEN_TYPE_A          internal_same_generic_derivation_as @11
<00000000066DB968>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------

This may already be fixed in 6.7, but since a frozen system worked correctly
I decided it might still be present.

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