PR# 16983 Creation of multi-constrained formal in function with QAT return type crashes compiler

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/07/26

Class: Bug

Severity: Serious

Number: 16983

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: Creation of multi-constrained formal in function with QAT return type crashes compiler

Description

An instruction that creates an instance of a formal generic G, which is
multi-constrained, in a function whose return type is `like {G}.default'
crashes the compiler in {MULTI_FORMAL_A}.static_type_id.

Added eweasel test anchor055 for this bug.

To Reproduce

Run eweasel test anchor055.

Problem Report Interactions

From:alexk_es Date:2013/11/30 Status: Closed Download

Fixed in rev#93586 of EiffelStudio 14.05 intermediate release.