mirror of
https://github.com/nim-lang/Nim.git
synced 2026-02-12 14:23:45 +00:00
9140f8e221
While looking at the CI I noticed that there's a couple false positives for `case` statements that cannot be checked for exhaustiveness since my changes, this should resolve them. --------- Co-authored-by: SirOlaf <>
80 lines
1.5 KiB
Nim
80 lines
1.5 KiB
Nim
discard """
|
|
cmd: "nim check --warningAsError:UnreachableCode $file"
|
|
action: "reject"
|
|
nimout: '''
|
|
tunreachable.nim(26, 3) Error: unreachable code after 'return' statement or '{.noReturn.}' proc [UnreachableCode]
|
|
tunreachable.nim(33, 3) Error: unreachable code after 'return' statement or '{.noReturn.}' proc [UnreachableCode]
|
|
tunreachable.nim(42, 3) Error: unreachable code after 'return' statement or '{.noReturn.}' proc [UnreachableCode]
|
|
tunreachable.nim(65, 5) Error: unreachable code after 'return' statement or '{.noReturn.}' proc [UnreachableCode]
|
|
tunreachable.nim(77, 5) Error: unreachable code after 'return' statement or '{.noReturn.}' proc [UnreachableCode]
|
|
'''
|
|
"""
|
|
|
|
# bug #9839
|
|
template myquit1():untyped=
|
|
## foo
|
|
quit(1)
|
|
template myquit2():untyped=
|
|
echo 123
|
|
myquit1()
|
|
|
|
proc main1()=
|
|
|
|
# BUG: uncommenting this doesn't give `Error: unreachable statement`
|
|
myquit2()
|
|
|
|
echo "after"
|
|
|
|
main1()
|
|
|
|
proc main2() =
|
|
myquit1()
|
|
|
|
echo "after"
|
|
|
|
main2()
|
|
|
|
proc main3() =
|
|
if true:
|
|
return
|
|
else:
|
|
return
|
|
echo "after"
|
|
|
|
main3()
|
|
|
|
|
|
block:
|
|
# Cases like strings are not checked for exhaustiveness unless they have an else
|
|
proc main4(x: string) =
|
|
case x
|
|
of "a":
|
|
return
|
|
# reachable
|
|
echo "after"
|
|
|
|
main4("a")
|
|
|
|
proc main5(x: string) =
|
|
case x
|
|
of "a":
|
|
return
|
|
else:
|
|
return
|
|
# unreachable
|
|
echo "after"
|
|
|
|
main5("a")
|
|
|
|
block:
|
|
# In this case no else is needed because it's exhaustive
|
|
proc exhaustive(x: bool) =
|
|
case x
|
|
of true:
|
|
return
|
|
of false:
|
|
return
|
|
echo "after"
|
|
|
|
exhaustive(true)
|