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: SmartEiffelSeverity: 2 - Minor
Priority: 5 - NormalStatus: None
Assigned to: NoneOpen/Closed: Open
Release: adlerFixed 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 File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

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

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

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 3 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Sat 26 Dec 2015 10:44:11 PM UTCramackAssigned tocadrian=>None
      Planned Releasebell=>curtiss
    Thu 14 Aug 2014 09:36:13 PM UTCramackSeverity3 - Normal=>2 - Minor

    Back to the top


    Powered by Savane 3.1-cleanup1