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

 
 

bug #42992: local variables not considered in optimizations

Submitted by:  Raphael Mack <ramack>
Submitted on:  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

Add a New Comment (Rich Markup)
   

You are not logged in

Please log in, so followups can be emailed to you.

 

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>
Project Administrator
Thu 14 Aug 2014 09:30:02 PM UTC, original submission:  

class TYPE_MARK has the feature
   try_class_text: CLASS_TEXT
      require
         not is_anchored
         not_done_to_report_errors: error_handler.is_empty
      local
         bcn: CLASS_NAME
      do
         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
               end
               has_tried_to_load := True
            end
         end

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
check
   False
end
in it by the way, so there seem to be some unexpected call here...

Raphael Mack <ramack>
Project Administrator

 

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

Attach Files:
   
   
Comment:
   

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)
  •  

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    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.5