PR# 17319 Repeatedly inherited routine redefined to attribute with body causes bogus VEVI error

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/02/04

Class: Bug

Severity: Serious

Number: 17319

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: Repeatedly inherited routine redefined to attribute with body causes bogus VEVI error

Description

A class inherits twice from a parent class and renames a routine and
redefines both versions of the routine into attributes with bodies.
The compiler reports VEVI errors on the attributes though they appear
to be valid since they have bodies that properly create Result.  If I have
misunderstood something, please correct the test.

Added eweasel test attach082 for this bug.

To Reproduce

Run eweasel test attach082.

Problem Report Interactions

From:alexk_es Date:2013/05/21 Status: Closed Download

Fixed in rev#92566 of EiffelStudio 7.3 intermediate release.