PR# 18266 Removing bracket alias in descendant via rename causes spurious VWBR(1) error

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2012/07/23

Class: Bug

Severity: Serious

Number: 18266

Release: 7.1.88986

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:13.0) Gecko/20100101 Firefox/13.0 Solaris 10 on x86

Synopsis: Removing bracket alias in descendant via rename causes spurious VWBR(1) error

Description

A class has a feature

     value alias "[]" (n: like Current): like Current

and a call to the bracket alias.  A descendant class renames value via

     rename value as value end

which removes the bracket alias.  If full class checking is enabled, the
compiler reports a spurious VWBR(1) on the descendant class for the routine that
calls the bracket alias.  Manu says that the compiler should be using the
unfolded form of the call but is not.  Adding an unrelated routine with a
bracket alias in the descendant class gets rid of the VWBR(1) error, but it
shouldn't have any effect.

Added test svalid031 for this bug.

To Reproduce

Run test svalid031.

Problem Report Interactions

From:alexk_es Date:2013/11/09 Status: Closed Download

Fixed in rev#93295 of EiffelStudio 13.11 intermediate release.