PR# 16547 Call on Void target in {FEATURE_B}.process

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/01/08

Class: Bug

Severity: Serious

Number: 16547

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: Call on Void target in {FEATURE_B}.process

Description

After two incremental changes (total of 3 COMP directories), the compiler crashed
in degree 2 with a call on Void target in {FEATURE_B}.process.

Stack trace and BACKUP directory attached.

To Reproduce

Problem Report Interactions

From:alexk_es Date:2010/03/11 Download

Related issues: bug#16546 (test#incr342), bug#16553 (test#incr341).

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

Fixed in rev#82547 of EiffelStudio 6.6 intermediate release.

From:prestoat2000 Date:2010/01/12 Download

I have now reproduced this on a small example.  The bug is triggered when
an inheritance clause is removed and the ancestor has a deferred routine
with a deferred precondition that are both effected in the descendant.

Added eweasel test incr343 for this bug.

From:prestoat2000 Date:2010/01/08 Download

Attachments for problem report #16547

Attachment: stack153.txt Size:6819

Attachment: BACKUP.tar.bz2 Size:132244