PR# 17901 QAT with renamed feature of formal generic in precondition crashes compiler

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/10/20

Class: Bug

Severity: Serious

Number: 17901

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

Synopsis: QAT with renamed feature of formal generic in precondition crashes compiler

Description

A qualified anchored type `like {G}.weasel' (where `default' is renamed to
`weasel' in the constrained genericity clause) in a creation expression in
a precondition crashes the compiler when a descendant class is processed.
The crash is violation of assertion `is_descendant_feature_found' in
{QUALIFIED_ANCHORED_TYPE_A}.evaluated_type_in_descendant.

This is similar to test anchor063 (bug #17897).  I'm submitting it because
the trace is different, so it may require a separate fix.

Added test anchor064 for this bug.

To Reproduce

Run test anchor064.

Problem Report Interactions

From:alexk_es Date:2011/11/17 Status: Closed Download

Fixed in rev#87844 of EiffelStudio 7.0 intermediate release.