bugLiberty Eiffel - Bugs: bug #42991, C code for local variables...


bug #42991: C code for local variables generated, even though all accesses removed

Submitter:  Raphael Mack <ramack>
Submitted:  Thu 14 Aug 2014 08:58:08 PM UTC
Category:  SmartEiffel Severity:  3 - Normal
Priority:  * 5 - Normal Status:  Confirmed
Assigned to:  None Open/Closed:  Open
Release:  None Fixed Release:  None
Planned Release:  curtiss
* Mandatory Fields

Add a New Comment Rich Markup

Thu 14 Aug 2014 08:58:08 PM UTC, original submission:  

e. g. compile_to_c: for WRITABLE_ATTRIBUTE.inline_dynamic_dispatch the inherited code (from ANONYMOUS_FEATURE) is optimized, such that the accesses to local resc: CODE (from ANONYMOUS_FEATURE.inline_dynamic_dispatch) are removed. But the local is still printed:

/*WRITABLE_ATTRIBUTE*/void r701inline_dynamic_dispatch(T701*C,T0*a1,T0*a2){

(Thanks to Hans for detecting this by compiling with PellesC/win32).

Raphael Mack <ramack>
Group administrator


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by ramack (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.


    Follows 1 latest change.

    Date Changed by Updated Field Previous Value => Replaced by
    2016-01-05 ramack Planned Releasebell curtiss

    Back to the top

    Powered by Savane 3.13-ee12.
    Corresponding source code