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

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 attribute type crashes compiler in {GEN_TYPE_A}.static_type_id

Description

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
	
	b: $(ATTRIBUTE_TYPE)

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.