PR# 17957 Static call to external via QAT involving formal generic gives wrong results when inlined

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/11/10

Class: Bug

Severity: Non-critical

Number: 17957

Release: 7.0.87736

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 x86 or SPARC

Synopsis: Static call to external via QAT involving formal generic gives wrong results when inlined

Description

A static call to an external, where the class containing the external is
specified by a qualified anchored type that involves a formal generic,
compiles fine when frozen or finalized.  But system execution gives the 
wrong results if the system is finalized with inlining (at least, the result
is different than for a frozen system or a finalized-without-inlining
system).

Added test final111 for this bug.

To Reproduce

Run test final111.

Problem Report Interactions

From:alexk_es Date:2019/03/21 Status: Closed Download

Fixed in rev#102989 of EiffelStudio 19.05 intermediate release (beta 19.03).