PyCharm IDE unreachable code when using try finally within a while loop

Question

The following code causes PyCharm to detect the last line as 'unreachable code', despite it being completely reachable.

import random

def test_func():
    while True:
        print("start")
        try:
            if random.random() > 0.5:
                break
        finally:
            print("Finally")
    print("Done")

if __name__ == '__main__':
    test_func()

When the try/finally block is not included, the error does not occur.

Here's a relevant screenshot:

Answer 1

The problem was already reported here and here and it should be fixed in PyCharm 2016.3.