# Test cases for unreachable expressions and statements

[case testUnreachableMemberExpr]

import sys

def f() -> None:

y = sys.platform == "x" and sys.version_info > (3, 5)

[out]

def f():

r0 :: object

r1 :: str

r2 :: object

r3, r4 :: str

r5, r6, r7 :: bool

r8 :: object

r9, y :: bool

L0:

r0 = sys :: module

r1 = 'platform'

r2 = CPyObject_GetAttr(r0, r1)

r3 = cast(str, r2)

r4 = 'x'

r5 = CPyStr_EqualLiteral(r3, r4, 1)

if r5 goto L2 else goto L1 :: bool

L1:

r6 = r5

goto L3

L2:

r7 = raise RuntimeError('mypyc internal error: should be unreachable')

r8 = box(None, 1)

r9 = unbox(bool, r8)

r6 = r9

L3:

y = r6

return 1

[case testUnreachableNameExpr]

import sys

def f() -> None:

y = sys.platform == 'x' and foobar

[out]

def f():

r0 :: object

r1 :: str

r2 :: object

r3, r4 :: str

r5, r6, r7 :: bool

r8 :: object

r9, y :: bool

L0:

r0 = sys :: module

r1 = 'platform'

r2 = CPyObject_GetAttr(r0, r1)

r3 = cast(str, r2)

r4 = 'x'

r5 = CPyStr_EqualLiteral(r3, r4, 1)

if r5 goto L2 else goto L1 :: bool

L1:

r6 = r5

goto L3

L2:

r7 = raise RuntimeError('mypyc internal error: should be unreachable')

r8 = box(None, 1)

r9 = unbox(bool, r8)

r6 = r9

L3:

y = r6

return 1

[case testUnreachableFinalNameExpr]

from typing import Final

ZERO: Final = 0

def f(x: int) -> int:

if x is None:

return ZERO

return ZERO

[out]

def f(x):

x :: int

r0, r1 :: object

r2 :: bit

r3 :: object

r4 :: int

L0:

r0 = load_address _Py_NoneStruct

r1 = box(int, x)

r2 = r1 == r0

if r2 goto L1 else goto L2 :: bool

L1:

r3 = object 0

r4 = unbox(int, r3)

return r4

L2:

return 0

[case testUnreachableStatementAfterReturn]

def f(x: bool) -> int:

if x:

return 1

f(False)

return 2

[out]

def f(x):

x :: bool

L0:

if x goto L1 else goto L2 :: bool

L1:

return 2

L2:

return 4

[case testUnreachableStatementAfterContinue]

def c() -> bool:

return False

def f() -> None:

n = True

while n:

if c():

continue

if int():

f()

n = False

[out]

def c():

L0:

return 0

def f():

n, r0 :: bool

L0:

n = 1

L1:

if n goto L2 else goto L5 :: bool

L2:

r0 = c()

if r0 goto L3 else goto L4 :: bool

L3:

goto L1

L4:

n = 0

goto L1

L5:

return 1

[case testUnreachableStatementAfterBreak]

def c() -> bool:

return False

def f() -> None:

n = True

while n:

if c():

break

if int():

f()

n = False

[out]

def c():

L0:

return 0

def f():

n, r0 :: bool

L0:

n = 1

L1:

if n goto L2 else goto L5 :: bool

L2:

r0 = c()

if r0 goto L3 else goto L4 :: bool

L3:

goto L5

L4:

n = 0

goto L1

L5:

return 1

[case testUnreachableStatementAfterRaise]

def f(x: bool) -> int:

if x:

raise ValueError()

print('hello')

return 2

[out]

def f(x):

x :: bool

r0 :: object

r1 :: str

r2, r3 :: object

L0:

if x goto L1 else goto L2 :: bool

L1:

r0 = builtins :: module

r1 = 'ValueError'

r2 = CPyObject_GetAttr(r0, r1)

r3 = PyObject_Vectorcall(r2, 0, 0, 0)

CPy_Raise(r3)

unreachable

L2:

return 4

[case testUnreachableStatementAfterAssertFalse]

def f(x: bool) -> int:

if x:

assert False

print('hello')

return 2

[out]

def f(x):

x, r0 :: bool

r1 :: str

r2 :: object

r3 :: str

r4 :: object

r5 :: object[1]

r6 :: object_ptr

r7 :: object

L0:

if x goto L1 else goto L4 :: bool

L1:

if 0 goto L3 else goto L2 :: bool

L2:

r0 = raise AssertionError

unreachable

L3:

r1 = 'hello'

r2 = builtins :: module

r3 = 'print'

r4 = CPyObject_GetAttr(r2, r3)

r5 = [r1]

r6 = load_address r5

r7 = PyObject_Vectorcall(r4, r6, 1, 0)

keep_alive r1

L4:

return 4