PR# 17300 Change in system with non-conforming inheritance crashes in {TMP_AST_SERVER}.body_force

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/01/28

Class: Bug

Severity: Serious

Number: 17300

Release: 6.7.85123

Confidential: No

Status: Closed

Responsible:

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: Change in system with non-conforming inheritance crashes in {TMP_AST_SERVER}.body_force

Description

After initial compilation of a system that uses non-conforming inheritance,
a precondition in a class which is inherited non-conformingly is removed.
Recompiling the system then crashes the compiler with a call on Void target
in {TMP_AST_SERVER}.body_force.

Added eweasel test incr408 for this bug.

To Reproduce

Run eweasel test incr408.

Problem Report Interactions

From:alexk_es Date:2021/02/02 Status: Closed Download

Fixed in rev#105171 of EiffelStudio 21.05 intermediate release.