PR# 17057 Class with multi-constrained generic violates precondition of {TYPE_SET_A}.conform_to_type

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/08/25

Class: Bug

Severity: Serious

Number: 17057

Release: 6.7.84288

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: Class with multi-constrained generic violates precondition of {TYPE_SET_A}.conform_to_type

Description

A set of classes including a class with a multiconstrained generic
crashes an assertion-enabled compiler with:

-------------------------------------------------------------------------------
TYPE_SET_A          conform_to_type @1     is_valid:
<0000000012B106A0>                         Precondition violated.        Fail
-------------------------------------------------------------------------------

Added eweasel test term190 for this bug.  Must use an assertion-enabled 
compiler to see the crash.

To Reproduce

Run eweasel test term190 with an assertion-enabled compiler.

Problem Report Interactions

From:alexk_es Date:2011/09/28 Status: Closed Download

Fixed in rev#87354 of EiffelStudio 7.0 intermediate release.

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

Same thing here.

From:prestoat2000 Date:2011/04/25 Download

Just to be sure - did you run the test with an assertion-enabled compiler?
It always passed with a compiler without assertion checking.

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

This is a test that is passing with the current version of the compiler.