jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Reject enums with holes when computedGoto is used (#8132)

Browse source 
Fixes #7699
This commit is contained in:
LemonBoy 2018-06-27 21:36:52 +02:00 • committed by Andreas Rumpf
commit 722abbe9c9
2 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/ccgstmts.nim
View file

@ -404,6 +404,9 @@ proc genComputedGoto(p: BProc; n: PNode) =
localError(p.config, it.info, localError(p.config, it.info,
"case statement must be exhaustive for computed goto"); return "case statement must be exhaustive for computed goto"); return
casePos = i casePos = i
if enumHasHoles(it.sons[0].typ):
localError(p.config, it.info,
"case statement cannot work on enums with holes for computed goto"); return
let aSize = lengthOrd(p.config, it.sons[0].typ) let aSize = lengthOrd(p.config, it.sons[0].typ)
if aSize > 10_000: if aSize > 10_000:
localError(p.config, it.info, localError(p.config, it.info,

15
tests/casestmt/t7699.nim Normal file
View file

@ -0,0 +1,15 @@
discard """
line: 13
errormsg: "case statement cannot work on enums with holes for computed goto"
"""
type
X = enum
A = 0, B = 100
var z = A
while true:
{.computedGoto.}
case z
of A: discard
of B: discard