Add --warn-no-return, and major binder refactoring - #1748

Merged

JukkaL merged 13 commits into

python:masterfrom

rwbarton:rwbarton-binder-2

Oct 18, 2016

Commits on Oct 13, 2016

Replace the binder's breaking_out by an 'unreachable' property of Frame
rwbarton
committed
9c70f3d
Minor type cleanup in the binder and explanation of Key
rwbarton
committed
673b205
Learn that loop condition is False on exit from while loop
rwbarton
committed
73815df
Use bool() in tests when we want an unspecified bool in a conditional
rwbarton
committed
0a9c3c5
Handle 'while True', 'assert False'
rwbarton
committed
d064ce5
Reduce duplication with find_isinstance_check and binder.push
rwbarton
committed
cf50f43
Process try statements in top-to-bottom order
rwbarton
committed
4388a81
Fix return type of binder.unreachable
rwbarton
committed
5b51181
Add warn-no-return flag to give a note on missing return statements
ecprice
authored and
rwbarton
committed
1f6a43b
Skip docstring when determining whether function body is trivial
rwbarton
committed
a6c2119
Remove None return values from check_return_stmt
rwbarton
committed
6fbddba
Explain why two try frames are needed for a finally clause; add a test
rwbarton
committed
0af2236
Decouple checker and binder by adding more options to frame_context
rwbarton
committed
f20db90