Skip to content

Commit 3b23303

Browse files
committed
Add unreachable Final regression case
1 parent d239756 commit 3b23303

1 file changed

Lines changed: 28 additions & 0 deletions

File tree

mypyc/test-data/irbuild-unreachable.test

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -68,6 +68,34 @@ L3:
6868
y = r6
6969
return 1
7070

71+
[case testUnreachableFinalNameExpr]
72+
from typing import Final
73+
74+
ZERO: Final = 0
75+
76+
def f(x: int) -> int:
77+
if x is None:
78+
return ZERO
79+
return ZERO
80+
[out]
81+
def f(x):
82+
x :: int
83+
r0, r1 :: object
84+
r2 :: bit
85+
r3 :: object
86+
r4 :: int
87+
L0:
88+
r0 = load_address _Py_NoneStruct
89+
r1 = box(int, x)
90+
r2 = r1 == r0
91+
if r2 goto L1 else goto L2 :: bool
92+
L1:
93+
r3 = object 0
94+
r4 = unbox(int, r3)
95+
return r4
96+
L2:
97+
return 0
98+
7199
[case testUnreachableStatementAfterReturn]
72100
def f(x: bool) -> int:
73101
if x:

0 commit comments

Comments
 (0)