PR# 17740 Finalizing SCOOP system without inlining generates uncompilable C code

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/07/13

Class: Bug

Severity: Serious

Number: 17740

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: Finalizing SCOOP system without inlining generates uncompilable C code

Description

Using the official 6.8 release, finalizing a particular small SCOOP system
generates C code that won't compile, due to a syntax error.  This happens when
inlining is disabled.  The error looks just the like one for test scoop013
(which is now fixed), but in that case inlining was required to provoke the bug.
So this appears to be a different bug, unless I am confused.

Added test scoop016 for this bug.

To Reproduce

Run test scoop016.

Problem Report Interactions

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

Fixed in rev#87233 of EiffelStudio 7.0 intermediate release.

From:prestoat2000 Date:2011/07/14 Download

It looks like the cause of this may be incorrect C code generation for
a separate call to a feature that is a variable attribute.  This can also
cause incorrect system execution if there is an offset to the attribute
location, since the code then compiles (because the first argument in the
generated code  is "+ SOME_OFFSET" instead of being empty) but is completely
wrong.