Feature Request: Add more checks

[msmhrt]

I think it would be nice if frosted can check the following code.

def a(b):
    if b:
        c = 1
    return c  # variable 'c' may not exist

def a():
    b = 0  # this line should be error "local variable 'b' is assigned to but never used"
    return
    b += 1  # unreachable code

[timothycrosley]

Thanks for finding these failure cases! I'll put a fix in for them prior to the next release.

~Timothy

[smokey42]

On the other hand, the unreachable code should be a warning as well. :)

[zoidyzoidzoid]

Should frosted be picking up undeclared variables at the moment?