PR# 17913 Adding call to precursor whose type is anchored to caller via QAT crashes compiler

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/10/25

Class: Bug

Severity: Serious

Number: 17913

Release: 7.0.87451

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 on SPARC

Synopsis: Adding call to precursor whose type is anchored to caller via QAT crashes compiler

Description

After a VDRD(6) error is reported, an attribute is changed to a function to
fix the error.  The body of the function calls precursor, where the 
precursor feature is anchored to the calling function via a QAT.  The
compiler then crashes in {QUALIFIED_ANCHORED_TYPE_A}.evaluated_type_in_descendant
due to violation of assertion `is_descendant_feature_found'.

The exception trace is somewhat similar to that for test anchor064 
(bug #17901), but since this is an incrementality problem and that other test
was not, I figured I should report it.

Added test incr418 for this bug.

To Reproduce

Run test incr418.

Problem Report Interactions

From:alexk_es Date:2015/12/03 Status: Closed Download

Fixed in rev#98186 of EiffelStudio 15.11 intermediate release.