Aleksandr.Govenko 6659947437 PY-51564 "code is unreachable" warning does not consider that context managers can abort ...

Added PyWithContextExitInstruction that works as 'except' node in try-except statements, but for 'with context-manager' statements. This allows to see when it can recover from exception by checking the type of `contextlib.AbstractContextManager`

Merge-request: IJ-MR-152213
Merged-by: Aleksandr Govenko <aleksandr.govenko@jetbrains.com>

GitOrigin-RevId: fd5a139de31d47136cc86b4a7e090a20b73b8744

2025-02-14 13:18:20 +00:00

..

UnreachableCodeReportedAfterImportedNoReturnFunction

…

UnreachableCodeReportedNoReturnInClassMember

…

BreakInCaseClause.py

…

ContinueInCaseClause.py

…

ExprOrSysExitAssignedToVar.py

…

ReturnInCaseClause.py

…

Unreachable.py

PY-51564 "code is unreachable" warning does not consider that context managers can abort

2025-02-14 13:18:20 +00:00

UnreachableCodeReportedAfterBuiltinExit.py

…

UnreachableCodeReportedAfterNever.py

…

UnreachableCodeReportedAfterNoReturnFunction.py

…

UnreachableCodeReportedAfterNoReturnWithQuotesFunction.py

…

UnreachableCodeReportedAfterSelfFail.py

…

UnreachablePatternAfterIrrefutableCaseClause.py

…

UnreachablePatternAfterIrrefutableOrPatternAlternative.py

…

WhileTrueTryBreakFinally.py

…