[Differential] [Request, 162 lines] D4585: Simple unreachable-code detection

[Francis Herne]

flherne created this revision.
flherne added a reviewer: brauch.
flherne set the repository for this revision to R53 KDevelop: Python Support.
Restricted Application added a subscriber: kdevelop-devel.

REVISION SUMMARY
  [unfinished, rfc]
  
  Code in the same block after `break`, `continue`, `return` or `raise` can never be executed. Add a visitor that tracks when this is true and adds warnings to affected expressions.

TEST PLAN
  It...seems to work.
  
  TODO: unit tests, stress-testing, more looking at results.

REPOSITORY
  R53 KDevelop: Python Support

REVISION DETAIL
  https://phabricator.kde.org/D4585

AFFECTED FILES
  pythonparsejob.cpp
  unreachablevisitor.h

EMAIL PREFERENCES
  https://phabricator.kde.org/settings/panel/emailpreferences/

To: flherne, brauch
Cc: kdevelop-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kdevelop-devel/attachments/20170212/82e2bfc0/attachment-0001.html>