bugLiberty Eiffel - Bugs: bug #42992, local variables not considered in...


bug #42992: local variables not considered in optimizations

Submitter:  Raphael Mack <ramack>
Submitted:  Thu 14 Aug 2014 09:30:02 PM UTC
Category:  SmartEiffel Severity:  2 - Minor
Priority:  * 5 - Normal Status:  None
Assigned to:  None Open/Closed:  Open
Release:  adler Fixed Release:  None
Planned Release:  curtiss
* Mandatory Fields

Add a New Comment Rich Markup

Thu 14 Aug 2014 09:36:13 PM UTC, comment #1: 

similar issues seem to be with FORMAL_GENERIC_TYPE_MARK.class_text.

I agree, that these seem to be not intended to be called, but isn't there a cleaner way to design this? Or at least formulate a nice precondition, which forbids calling class_text and try_class_text for non-static-type marks?

Raphael Mack <ramack>
Group administrator
Thu 14 Aug 2014 09:30:02 PM UTC, original submission:  

class TYPE_MARK has the feature
   try_class_text: CLASS_TEXT
         not is_anchored
         not_done_to_report_errors: error_handler.is_empty
         bcn: CLASS_NAME
         if class_text_memory = Void then
            if not has_tried_to_load then
               bcn := class_text_name
               if bcn /= Void then
                  Result := bcn.try_class_text
                  class_text_memory := Result
               has_tried_to_load := True

For its subclass FORMAL_GENERIC_TYPE_MARK class_text_name is Void and therefore if bcn /= Void then will never be True.

NON_STATIC_TYPE_MARK.class_text_name has a
in it by the way, so there seem to be some unexpected call here...

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.


    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2015-12-26 ramack Assigned tocadrian None
        Planned Releasebell curtiss
    2014-08-14 ramack Severity3 - Normal 2 - Minor

    Back to the top

    Powered by Savane 3.13-ee12.
    Corresponding source code