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
Fixed in rev#82547 of EiffelStudio 6.6 intermediate release. Related issues: bug#16547 (test#incr343), bug#16553 (test#incr341).
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.
Attachments for problem report #16546