Python control flow bug.

def foo(a, b):
    try:
        while a > 0 and b > 0:
            print(a % 10 + b % 10)
            a //= 10
            b //= 10
    finally:
        print("Hello")

    print("End")


foo(5, 5)

The print("End") statement becomes unreachable in the current control flow provided by PyCharm for the foo method. The control flow provided by com.jetbrains.python.codeInsight.controlflow.PyControlFlowProvider#getControlFlow seemed incorrect to me.