PR# 17952 False postcondition not executed when routine with emtpy body is inlined

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/11/09

Class: Bug

Severity: Non-critical

Number: 17952

Release: 7.0.87691

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:8.0) Gecko/20100101 Firefox/8.0 Solaris 10 on x86

Synopsis: False postcondition not executed when routine with emtpy body is inlined

Description

A False postcondition is always supposed to raise an exception, regardless of
assertion monitoring settings.  For a routine with an empty body and a False
postcondition, an exception is always raised when the routine is called,
unless the system is finalized with inlining.  In that case, no postcondition
violation exception is raised.

Added test assert005 for this bug.

To Reproduce

Run test assert005.

Problem Report Interactions

From:alexk_es Date:2011/11/17 Status: Closed Download

Fixed in rev#87843 of EiffelStudio 7.0 intermediate release.