PR# 16951 Changing actual generic in inheritance clause for class used in QAT gives wrong results

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/07/06

Class: Bug

Severity: Serious

Number: 16951

Release: 6.6.83767

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: Changing actual generic in inheritance clause for class used in QAT gives wrong results

Description

Changing the inheritance clause of a class

   TEST2 [G -> NUMERIC]

from "inherit TEST1 [G]" to "inherit TEST1 [NUMERIC]" 
(or vice versa), where TEST1 refers to TEST2 in a qualified
anchored type, and recompiling causes incorrect system execution
output or a seg fault when system is executed.

I'm not even certain this is a QAT-related bug.

Added eweasel test incr368 for this bug (which is possibly already
fixed in 6.7).

To Reproduce

Run eweasel test incr368.

Problem Report Interactions

From:alexk_es Date:2019/05/22 Status: Closed Download

Fixed in rev#102901 of EiffelStudio 19.05 intermediate release.