compiler crashes when getting item from big array at compile time

[nitely]

The compiler crashes when trying to compile this code:

proc genArray(): array[100000, int] =
  discard

const myarr = genArray()

proc foo(a: int): int =
  return myarr[a]

proc main() =
  const a = foo(0)
  echo a
main()

output:

Error: internal error: (filename: "vmgen.nim", line: 179, column: 16)
No stack traceback available
To create a stacktrace, rerun compilation with ./koch temp c <file>

I was actually trying to create a dummy example, where it would crash here [0] but I ended it up making it crash here [1] . It seems like it is the same issue, though.

[0]

Nim/compiler/vmgen.nim

Line 162 in 24cae4a

internalAssert(-0x7fff < diff and diff < 0x7fff)

[1]

Nim/compiler/vmgen.nim

Line 381 in 24cae4a

internalAssert result < 0x7fff

[nitely]

Crashes in L162 when the array has around 30_000. Here is a code snippet.

[nitely]

This fails as well:

proc genSeq(): seq[int] =
  result = newSeq[int](20_000)

const myarr = genSeq()

proc foo(a: int): int =
  result = myarr[a]

static:
  var a = foo(0)
  assert a == 0

It seems the VM can't generate a seq (or array) of size close to int16.high

[genotrance]

Stack trace for snippet from issue body:

Hint: used config file 'c:\users\gt\Desktop\DL\programming\nimdevel\config\nim.cfg' [Conf]
Hint: system [Processing]
Hint: temp [Processing]
nim.nim(133)             nim
nim.nim(97)              handleCmdLine
main.nim(162)            mainCommand
main.nim(73)             commandCompileToC
modules.nim(124)         compileProject
modules.nim(71)          compileModule
passes.nim(180)          processModule
syntaxes.nim(45)         parseTopLevelStmt
parser.nim(2253)         parseTopLevelStmt
parser.nim(2146)         complexOrSimpleStmt
parser.nim(1778)         parseSection
parser.nim(1794)         parseConstant
parser.nim(1201)         parseExpr
parser.nim(865)          simpleExpr
parser.nim(853)          simpleExprAux
parser.nim(1266)         primary
parser.nim(725)          identOrLiteral
parser.nim(454)          exprColonEqExprList
parser.nim(439)          exprColonEqExprListAux
parser.nim(411)          exprColonEqExpr
parser.nim(1201)         parseExpr
parser.nim(865)          simpleExpr
parser.nim(853)          simpleExprAux
parser.nim(1266)         primary
parser.nim(644)          identOrLiteral
parser.nim(225)          newIntNodeP
parser.nim(222)          newNodeP
parser.nim(212)          parLineInfo
lexer.nim(154)           getLineInfo
msgs.nim(100)            newLineInfo
system.nim(2877)         sysFatal
Error: unhandled exception: value out of range: 32770 [RangeError]

Stack trace for snippet from second comment.

Hint: used config file 'c:\users\gt\Desktop\DL\programming\nimdevel\config\nim.cfg' [Conf]
Hint: system [Processing]
Hint: temp [Processing]
Error: internal error: (filename: "vmgen.nim", line: 162, column: 16)
Traceback (most recent call last)
nim.nim(133)             nim
nim.nim(97)              handleCmdLine
main.nim(162)            mainCommand
main.nim(73)             commandCompileToC
modules.nim(124)         compileProject
modules.nim(71)          compileModule
passes.nim(194)          processModule
passes.nim(103)          processTopLevelStmt
sem.nim(592)             myProcess
sem.nim(560)             semStmtAndGenerateGenerics
semstmts.nim(1893)       semStmt
semexprs.nim(910)        semExprNoType
semexprs.nim(2573)       semExpr
semstmts.nim(1786)       semStaticStmt
vm.nim(1840)             evalStaticStmt
vm.nim(1830)             evalConstExprAux
vm.nim(996)              rawExecute
vm.nim(394)              compile
vmgen.nim(2058)          genProc
msgs.nim(536)            patch
msgs.nim(529)            internalError
msgs.nim(405)            rawMessage
msgs.nim(402)            rawMessage
msgs.nim(324)            handleError
msgs.nim(314)            quit

[narimiran]

Both examples don't crash anymore (Nim devel, v1.1.1).