PR# 17743 Separate call to constant feature gives wrong results for frozen and finalized code

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/07/14

Class: Bug

Severity: Serious

Number: 17743

Release: 6.8.86627

Confidential: No

Status: Closed

Responsible:

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

Synopsis: Separate call to constant feature gives wrong results for frozen and finalized code

Description

A separate call `x.my_constant' where `x' is of type "separate TEST1" 
and `my_constant' is a constant attribute gives correct results when 
system is melted, but wrong results when system is frozen or finalized.

The generated C code includes the comment:

   /* Separate call is not implemented for CONSTANT_B */

so it appears this is not implemented yet, but then this limitation should
be listed somewhere.

Added test scoop017 for this bug.

To Reproduce

Run test scoop017.

Problem Report Interactions

From:alexk_es Date:2011/09/19 Status: Closed Download

Fixed in rev#87231 of EiffelStudio 7.0 intermediate release.