Files
Aleksandr.Govenko c02ef9f62d PY-78964 Incorrect return type warning when using try...finally
Added a new CFG instruction to indicate implicit raise after finally block. Also added PyDataFlow as an future entry point for DFA.


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

(cherry picked from commit db63ba632c48235cc51b8e64869d21f5bcfc2d1c)

IJ-MR-155798

GitOrigin-RevId: b913e67a07e035b03f1092d5b6d9529864cb4d1b
2025-03-07 16:41:12 +00:00

27 lines
785 B
Plaintext

0(1) element: null
1(2) element: PyTryExceptStatement
2(3,5) element: PyTryPart
3(4,5) element: PyFromImportStatement
4(5,9) WRITE ACCESS: lsprof
5(6) element: PyExceptPart
6(7) READ ACCESS: ImportError
7(8) raise: PyRaiseStatement
8(26) READ ACCESS: Error
9(10) element: PyAssignmentStatement
10(11) WRITE ACCESS: p
11(12) element: PyTryExceptStatement
12(13,17) element: PyTryPart
13(14,17) element: PyReturnStatement
14(17) READ ACCESS: foo
15(16,17) element: PyAssignmentStatement
16(17,21) WRITE ACCESS: x
17(18) element: PyFinallyPart
18(19) element: PyPrintStatement
19(20) READ ACCESS: p
20(26) finally fail exit
21(22) element: PyFinallyPart
22(23) element: PyPrintStatement
23(24) READ ACCESS: p
24(25) element: PyAssignmentStatement
25(26) WRITE ACCESS: y
26() element: null