PR# 17314 Compiler reports spurious VEVI error on attribute with body inherited non-conformingly

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/02/03

Class: Bug

Severity: Serious

Number: 17314

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: Compiler reports spurious VEVI error on attribute with body inherited non-conformingly

Description

An attribute with a body that is in a class that is inherited via
non-conforming inheritance causes the compiler to report a spurious VEVI
error.  If the inheritance is changed to conforming inheritance, the compiler
accepts the classes.  Manu thought this was incorrect compiler behavior, so
I am reporting this as a bug.  If this is not the case, please correct the test.

Added eweasel test attach081 for this bug.

To Reproduce

Run eweasel test attach081.

Problem Report Interactions

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

Fixed in rev#92566 of EiffelStudio 7.3 intermediate release.