PR# 17071 Expanded generic class with multi-constrained generic violates assertion in {TYPE_SET_A}.generated_i

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/08/30

Class: Bug

Severity: Serious

Number: 17071

Release: 6.7.84293

Confidential: No

Status: Analyzed

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 x86

Synopsis: Expanded generic class with multi-constrained generic violates assertion in {TYPE_SET_A}.generated_i

Description

An expanded generic class with a multi-constrained formal generic crashes
an assertion-enabled compiler with:

-------------------------------------------------------------------------------
TYPE_SET_A          generated_id @3        generated_id_not_implemented:
<00000000121E9F78>                         Assertion violated.           Fail
-------------------------------------------------------------------------------

Added eweasel test term191 for this bug.  The test passes if using a normal
compiler, but fails with an assertion-enabled compiler.

To Reproduce

Run eweasel test term191.

Problem Report Interactions

From:manus_eiffel Date:2011/04/25 Status: Analyzed Download

You are right, I should have looked at the results with assertions.

From:prestoat2000 Date:2011/04/25 Download

Note that according to the original report, the test only failed if run with
an assertion-enabled compiler.  Did you run the test with a compiler that
had at least preconditions enabled?  If not, then the problem may not be fixed.

From:manus_eiffel Date:2011/04/23 Status: Closed Download

Again this is a test that is now passing with the latest compiler.