PR# 17907 Compiler reports spurious VEEN after VMFN error corrected in system with QAT

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/10/22

Class: Bug

Severity: Serious

Number: 17907

Release: 7.0.87514

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris on x86

Synopsis: Compiler reports spurious VEEN after VMFN error corrected in system with QAT

Description

The compiler correctly reports a VMFN error when two effective features with the
same name are inherited by a class.  One of the features is a function whose
return type is a qualified anchored type involving another class.  When one of
the two effective features is made deferred, the compiler should accept the
classes, but instead reports a spurious VEEN error.

This is an incrementality bug.

Added test incr417 for this bug.

To Reproduce

Run test incr417.

Problem Report Interactions

From:alexk_es Date:2015/12/03 Status: Closed Download

Fixed in rev#98186 of EiffelStudio 15.11 intermediate release.