PR# 16545 Adding same class under different name and quick melting causes class name mismatch internal error

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/01/08

Class: Bug

Severity: Serious

Number: 16545

Release: 6.5.81777

Confidential: No

Status: Closed

Responsible: alexk_es

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: Adding same class under different name and quick melting causes class name mismatch internal error

Description

After initial compilation, the root class is changed to reference TEST2 instead of TEST1
and test1.e is copied to test2.e, so that class TEST1 occurs in two files.  When the
system is quick melted, the compiler reports:

   Error code: INTERNAL_ERROR

   Error: internal error occurred while compiling.
   What to do: contact Eiffel Software support at http://support.eiffel.com and
       provide the necessary information to reproduce this error.

   Error message: Class mismatch found

I ran into this bug while trying to track down a compiler inlining bug.

Added eweasel test incr340 for this bug.

To Reproduce

Run eweasel test incr340.

Problem Report Interactions

From:alexk_es Date:2010/03/12 Status: Closed Download

Fixed in rev#82569 of EiffelStudio 6.6 intermediate release.