PR# 17897 QAT involving formal generic in precondition crashes compiler in {EIFFEL_CLASS_C}.constraints

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/10/19

Class: Bug

Severity: Serious

Number: 17897

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 involving formal generic in precondition crashes compiler in {EIFFEL_CLASS_C}.constraints

Description

A qualified anchored type `like {G}.out' (where G is a formal generic)
that appears in a creation expression in a precondition crashes the compiler
when it processes a descendant class.  The crash is due to a call on Void
target in {EIFFEL_CLASS_C}.constraints.

I couldn't find any existing tests that had the same trace.  Test term201
was the closest.

Added test anchor063 for this bug.

To Reproduce

Run test anchor063.

Problem Report Interactions

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

Fixed in rev#87844 of EiffelStudio 7.0 intermediate release.