PR# 16546 Call on Void target in {CL_TYPE_A}.instantiation_of

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/01/08
Class: Bug
Severity: Serious
Number: 16546
Release: 6.5.81777
Confidential: No
Status: Closed
Responsible: misterieking
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: Call on Void target in {CL_TYPE_A}.instantiation_of

Description
After a few incremental changes, the compiler crashed in degree 2 with a
call on Void target in {CL_TYPE_A}.instantiation_of.

BACKUP directory attached, as well as full stack trace.
To Reproduce

										
Problem Report Interactions
From:alexk_es    Date:2010/03/11    Status: Closed    Download   
Fixed in rev#82547 of EiffelStudio 6.6 intermediate release.
Related issues: bug#16547 (test#incr343), bug#16553 (test#incr341).

From:prestoat2000    Date:2010/01/12    Download   
I have now reproduced this with a small example.  The trace is a bit
shorter - it ends with a call on Void target in {STD_BYTE_CODE}.formulate_inherited_assertions
but I'm certain it is the same bug.

Added eweasel test incr342 for this bug.

From:prestoat2000    Date:2010/01/08    Download   
Attachments for problem report #16546

Attachment: stack152.txt     Size:5277
Attachment: BACKUP.tar.bz2     Size:133537