PR# 17302 Spurious VUOT(1) error when object test local in assertion references nonexistent feature

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/01/28

Class: Bug

Severity: Serious

Number: 17302

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: Spurious VUOT(1) error when object test local in assertion references nonexistent feature

Description

For an assertion

   attached {STRING} Current as w and then w.weasel

the compiler correctly reports a VEEN error but it also reports a spurious
VUOT(1) error.  If the same boolean expression appears outside an assertion
(e.g., if I print its value in a routine body), the compiler does not report
the spurious VUOT(1) error.

Added eweasel test valid270 for this bug.

To Reproduce

Run eweasel test valid270.

Problem Report Interactions

From:alexk_es Date:2013/07/03 Status: Closed Download

Fixed in rev#92769 of EiffelStudio 7.4 intermediate release.