Python: Improve performance of FileNotClosed query by using basic block reachability#19641

joefarebrother wants to merge 2 commits intogithub:maingithub/codeql:mainfrom

joefarebrother:python-qual-file-not-closedjoefarebrother/codeql:python-qual-file-not-closedCopy head branch name to clipboard