Files
openide/python/testData/codeInsight/controlflow/WithRaiseException.txt
Aleksandr.Govenko 7e0924c394 PY-82712 False positive unreachable code after try / finally block if try has an if
(cherry picked from commit 53c13421523d780995fa83cc0625f6e99d5fe51f)

IJ-MR-169577

GitOrigin-RevId: f5254435a0512ba55db7fca9016a387740ac9b8b
2025-08-08 18:19:44 +00:00

19 lines
587 B
Plaintext

0(1) element: null
1(2) element: PyWithStatement
2(4) READ ACCESS: context_manager
3(16) exit context manager: context_manager
4(5,3) element: PyIfStatement
5(6,7,3) READ ACCESS: c
6(13,3) element: null. Condition: c:false
7(8) element: null. Condition: c:true
8(3,9) ASSERTTYPE ACCESS: c
9(10) element: PyStatementList
10(11,3) element: PyRaiseStatement
11(12,3) READ ACCESS: ValueError
12(18,3) raise: PyRaiseStatement
13(14,3) element: PyAssignmentStatement
14(15,3) READ ACCESS: c
15(16,3) WRITE ACCESS: val
16(17) element: PyPrintStatement
17(18) READ ACCESS: val
18() element: null