Python: Port UseOfExit.ql#21603

tausbn wants to merge 1 commit intomaingithub/codeql:mainfrom

tausbn/python-port-use-of-exitgithub/codeql:tausbn/python-port-use-of-exitCopy head branch name to clipboard