bugLiberty Eiffel - Bugs: bug #47905, LE generates 'unreachabel code'...

 
 

bug #47905: LE generates 'unreachabel code' for 'and-then' statements

Submitted by:  Hans Zwakenberg <hzwakenberg>
Submitted on:  Thu 12 May 2016 07:00:00 AM UTC  
 
Category: Liberty toolsSeverity: 3 - Normal
Priority: 5 - NormalStatus: None
Assigned to: NoneOpen/Closed: Open
Release: bellFixed Release: None
Planned Release: None

Add a New Comment(Rich Markup)
   

You are not logged in

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

 

Thu 12 May 2016 07:00:00 AM UTC, original submission:

Continuing my experiments with Pelles-C, I noticed that a lot of the code that it flags as 'unreachable code' is generated for Eiffel 'and then' statements, especially so when multiple of them are chained together..

Despite doing global analysis when in boost-mode, Liberty cannot or does not determine, that an 'and then' condition can never happen and generates unneeded code for it.

Just a single example of the many in the current (May 11, 2016) germ: compile_to_c8.c, lines 1079, 1081, 1082, 1177, 1179, 1180, 1543, 1545, 1546.
As noted, Pelles-C flags many more of these (currently) 135 c-files with the same warning message.

Hans Zwakenberg <hzwakenberg>
Project Member

 

(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 hzwakenberg (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):

     

     

    No Changes Have Been Made to This Item

    Back to the top


    Powered by Savane 3.1-cleanup1