Nim/tests/vm/toverflowopcaddint.nim

discard """
  errormsg: "over- or underflow"
"""

static:
  proc p =
    var
      x = int64.high
      y = 1
    discard x + y
    doAssert false
  p()