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.