PR# 16555 System finalized with check for Void target does not catch call on Void for inlined routine

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/01/13

Class: Bug

Severity: Serious

Number: 16555

Release: 6.5.81777

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: System finalized with check for Void target does not catch call on Void for inlined routine

Description

A system that is finalized with check_for_void_target enabled and inlining
enabled does not catch a call on Void target for an inlined routine, at least
in some cases.

Added eweasel test final088 for this bug.

To Reproduce

Run eweasel test final088.

Problem Report Interactions

From:alexk_es Date:2019/03/20 Status: Closed Download

Fixed in rev#102911 of EiffelStudio 19.05 intermediate release and 19.02 beta release.