Comment 1 for bug 1612066

Pyflakes ignores conditional branches, since short of being a Python interpreter it can't really know if they will branch or not. So all pyflakes sees is this:

j += 1
j = 0
print(j)

j = 0
j += 1
print(j)

Can you think of a way to handle this situation which doesn't involve running the code, and which does not generate false positives?