PR# 16821 Changing attribute type from NONE to `like {NONE}.out' crashes compiler

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/08
Class: Bug
Severity: Serious
Number: 16821
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: Changing attribute type from NONE to `like {NONE}.out' crashes compiler

Description
Changing the type of an attribute from NONE to `like {NONE}.out' should cause
the compiler to report a VEEN error, but it crashes instead with:

-------------------------------------------------------------------------------
UNEVALUATED_QUALIFIED_ANCHORED_TYPE
                    is_none @1
<00000000066537B8>  (From LIKE_TYPE_A)     Feature call on void target.  Fail
-------------------------------------------------------------------------------

Added eweasel test incr354 for this incrementality bug.

May already be fixed in 6.7.

To Reproduce
Run eweasel test incr354.
Problem Report Interactions
From:alexk_es    Date:2010/06/09    Status: Closed    Download   
Fixed in rev#83480 of Eiffel Studio 6.7 intermediate release.