MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-18 09:34:34 +07:00
Code Issues Packages Projects Releases Wiki Activity

PY-79986 For loop inside finally statement marked unreachable

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

GitOrigin-RevId: 52d7e16c4a6c339773ecbe90fe5d26d7d5ddfb03
This commit is contained in:
Aleksandr.Govenko
2025-03-25 12:55:19 +00:00
committed by intellij-monorepo-bot
parent f241ee62a1
commit a04f2e9512
2 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/python-psi-impl/src/com/jetbrains/python/codeInsight/controlflow/PyControlFlowBuilder.java
+1 -1
View File
@@ -769,7 +769,7 @@ public class PyControlFlowBuilder extends PyRecursiveElementVisitor {
myBuilder.flowAbrupted();
finallyFailInstruction = myBuilder.startNode(finallyPart);
finallyPart.accept(this);
myBuilder.addNode(new PyFinallyFailExitInstruction(myBuilder, finallyFailInstruction));
myBuilder.addNodeAndCheckPending(new PyFinallyFailExitInstruction(myBuilder, finallyFailInstruction));
myBuilder.addPendingEdge(null, myBuilder.prevInstruction);
myBuilder.flowAbrupted();
}
python/testSrc/com/jetbrains/python/inspections/PyUnreachableCodeInspectionTest.java
+12
View File
@@ -24,6 +24,18 @@ public class PyUnreachableCodeInspectionTest extends PyInspectionTestCase {
public void testUnreachable() {
runWithLanguageLevel(LanguageLevel.PYTHON26, () -> doTest());
}
// PY-79986
public void testForInsideFinally() {
doTestByText("""
def bar():
try:
return
finally:
for i in range(10):
print("reachable")
""");
}
// PY-51564
public void testWithNotContext() {