PR# 16902 Compiler reports bogus VGCC(3) error in descendant in system with QAT

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/06/22

Class: Bug

Severity: Serious

Number: 16902

Release: 6.6.83602

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x64

Synopsis: Compiler reports bogus VGCC(3) error in descendant in system with QAT

Description

A generic class has

	try
		do
			create {like a} a.make (1, 2)
			print (a.generating_type); io.new_line
		end

	a: like {ARRAY [like b]}.default
	
	b: like Current

The compiler incorrectly reports a VGCC(3) error in a descendant class
on the create instruction.  If `like b' is changed to `like Current'
in the declaration for `a', the associated eweasel test passes.

Added eweasel test anchor043 for this bug.

To Reproduce

Run eweasel test anchor043.

Problem Report Interactions

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

The test passes in rev#83757 of EiffelStudio 6.7 intermediate release.