PR# 18012 Void-safe system finalized with inlining can get call on Void target

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/11/28

Class: Bug

Severity: Serious

Number: 18012

Release: 7.0.88056

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 x86

Synopsis: Void-safe system finalized with inlining can get call on Void target

Description

A void-safe system that has attributes with bodies can get a call on
Void target if it is finalized with inlining.  Melted, frozen and
finalized-without-inlining code all work correctly.  I noted this case
in bug #15874, but decided I should add a separate bug and test to
highlight this case.

Added test final113 for this bug.

To Reproduce

Run test final113.

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.