PR# 16553 Removing routine and routine that calls it in precondition causes nonexistent VEEN error

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/01/11

Class: Bug

Severity: Serious

Number: 16553

Release: 6.5.81777

Confidential: No

Status: Closed

Responsible: manus_eiffel

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: Removing routine and routine that calls it in precondition causes nonexistent VEEN error

Description

After initial compilation, a deferred routine A that calls another routine B in its
precondition is removed and so is the called routine B.  When the system is
compiled with full class checking, the compiler reports a nonexistent VEEN
error on a descendant class for routine A, stating that B is an unknown identifier.
This is an incrementality bug.

Added eweasel test incr341 for this bug.

To Reproduce

Run eweasel test incr341.

Problem Report Interactions

From:alexk_es Date:2010/03/11 Status: Closed Download

Fixed in rev#82547 of EiffelStudio 6.6 intermediate release.
Related issues: bug#16546 (test#incr342), bug#16547 (test#incr343).