PR# 17308 Changing attribute referenced in QAT to function crashes in {CREATE_QUALIFIED}.is_explicit

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/02/01

Class: Bug

Severity: Serious

Number: 17308

Release: 6.7.85123

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 attribute referenced in QAT to function crashes in {CREATE_QUALIFIED}.is_explicit

Description

A system with a qualified anchored type that references an attribute in
another class has a VEVI error.  The error is corrected by changing the
attribute to a function and creating Result in the body.  Compilation 
completes successfully.  But when the system is finalized, the compiler crashes
with a call on Void target in {CREATE_QUALIFIED}.is_explicit.

Added eweasel test incr412 for this bug.

To Reproduce

Run eweasel test incr412.

Problem Report Interactions

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

Fixed in rev#102901 of EiffelStudio 19.05 intermediate release.