PR# 16991 Formal generic constrained by self in class with QAT runs compiler out of memory

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/07/27

Class: Bug

Severity: Serious

Number: 16991

Release: 6.7.83946

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: Formal generic constrained by self in class with QAT runs compiler out of memory

Description

A generic class with a formal generic `G -> G' that includes a routine

       ermine: like {G}.default
                do
                end

causes the compiler to never finish degree 4.  It uses more and more memory,
presumably due to infinite recursion.  If the type of `ermine' above is
instead just "G", compilation finishes normally.

Added eweasel test anchor056 for this bug.  The test is marked "manual"
for now.

To Reproduce

Run eweasel test anchor056 (you have to temporarily remove the "manual"
mark in the catalog).

Problem Report Interactions

From:alexk_es Date:2013/12/13 Status: Closed Download

Fixed in rev#93711 of EiffelStudio 14.05 intermediate release.