PR# 13023 Finalizing after change crashes in {ATTRIBUTE_BL}.generate_metamorphose_end
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2007/06/06
Class: Bug
Severity: Serious
Number: 13023
Release: 6.0.68865
Confidential: No
Status: Analyzed
Responsible: manus_eiffel
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3
Solaris 10 on x86
Synopsis: Finalizing after change crashes in {ATTRIBUTE_BL}.generate_metamorphose_end
Description
After initial compilation where the system is melted, a few changes are made
to a class with a constrained generic and the actual generic parameter in
the client class is changed to match. When the system is finalized, the
compiler crashes in {ATTRIBUTE_BL}.generate_metamorphose_end.
I'm not 100% sure the "rev 2" version of TEST1 is valid, so this might be
a missing validity check.
To Reproduce
Melt with attached classes and .ecf file.
Then replace lines in TEST and TEST1 with the lines marked "for rev 2"
(lines will be added instead of replaced in {TEST1}.try).
Finalize system (ec -config test.ecf -finalize).
Compiler crashes with attached trace.
Problem Report Interactions
I've added eweasel test#final045 for reproducing this problem.
Attachments for problem report #13023