PR# 16824 VGCC(3) error in descendant involving qualified anchored type not detected

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/06/09

Class: Bug

Severity: Serious

Number: 16824

Release: 6.6.83355

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: VGCC(3) error in descendant involving qualified anchored type not detected

Description

The compiler should detect a VGCC(3) error in a descendant class, when
a qualified anchored type is involved and full_class_checking="true" is specified
but does not.

I suspect this bug is already fixed in 6.7.

Added eweasel test anchor022 for this bug.

To Reproduce

Run eweasel test anchor022.

Problem Report Interactions

From:alexk_es Date:2010/06/09 Status: Closed Download

Fixed in rev#83506 of EiffelStudio 6.7 intermediate release.

From:manus_eiffel Date:2010/06/09 Status: Analyzed Download

Actually it is not. We will be looking into it.