Boo

Removal of statically unreachable branches.

Details

  • Type: Improvement Improvement
  • Status: Reopened Reopened
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: 0.5.6, 0.9
  • Fix Version/s: 0.9.5
  • Component/s: Compiler
  • Labels:
    None
  • Testcase included:
    yes
  • Number of attachments :
    0

Description

Currently, Boo will merrily compile the following without warning:

def bar():
  if true:
    print 'alacazam!'
  else:
    print 'the great unreachable code block'

It would be nice if Boo have had branch optimization code to remove such statically unreachable branches and warn about this with BCW0015.

Issue Links

duplicates

Improvement - An improvement or enhancement to an existing feature or task. BOO-40 WARNING: unreachable code detected

  • Major - Major loss of function.
  • Resolved - A resolution has been taken, and it is awaiting verification by reporter. From here issues are either reopened, or are closed.
relates to

Improvement - An improvement or enhancement to an existing feature or task. BOO-878 Exception Handling: Verify that all catch blocks can be reached

  • Major - Major loss of function.
  • Resolved - A resolution has been taken, and it is awaiting verification by reporter. From here issues are either reopened, or are closed.

Activity

Hide
Permalink
Cedric Vivier added a comment - - edited

do not forget about unreachable labels (which do not currently issue warnings)

def Test():
goto failed_match
:failed_match
print "test"
return 1
:unreachable
return 2

there is no goto to 'unreachable' label so this should warn.

Show
Cedric Vivier added a comment - - edited do not forget about unreachable labels (which do not currently issue warnings) def Test(): goto failed_match :failed_match print "test" return 1 :unreachable return 2 there is no goto to 'unreachable' label so this should warn.

People

  • Assignee:
    Cedric Vivier
    Reporter:
    Arron Washington
Vote (0)
Watch (0)

Dates

  • Created:
    Updated: