From e4f0f0bc7f8c0593bab072033df7e449ccc824ea Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Thu, 12 Aug 2021 07:15:17 +0200
Subject: [PATCH] fixes #18643 [backport:1.0]

---
 compiler/ccgexprs.nim  |  2 +-
 tests/array/tarray.nim | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/compiler/ccgexprs.nim b/compiler/ccgexprs.nim
index 79c73b602c13..acf83f96656e 100644
--- a/compiler/ccgexprs.nim
+++ b/compiler/ccgexprs.nim
@@ -920,7 +920,7 @@ proc genArrayElem(p: BProc, n, x, y: PNode, d: var TLoc) =
   if optBoundsCheck in p.options and ty.kind != tyUncheckedArray:
     if not isConstExpr(y):
       # semantic pass has already checked for const index expressions
-      if firstOrd(p.config, ty) == 0:
+      if firstOrd(p.config, ty) == 0 and lastOrd(p.config, ty) >= 0:
         if (firstOrd(p.config, b.t) < firstOrd(p.config, ty)) or (lastOrd(p.config, b.t) > lastOrd(p.config, ty)):
           linefmt(p, cpsStmts, "if ((NU)($1) > (NU)($2)){ #raiseIndexError2($1, $2); $3}$n",
                   [rdCharLoc(b), intLiteral(lastOrd(p.config, ty)), raiseInstr(p)])
diff --git a/tests/array/tarray.nim b/tests/array/tarray.nim
index 2765ad06d71e..d10011ef2fde 100644
--- a/tests/array/tarray.nim
+++ b/tests/array/tarray.nim
@@ -594,3 +594,14 @@ block t17705:
   a = int(a)
   var b = array[0, int].high
   b = int(b)
+
+block t18643:
+  # https://github.com/nim-lang/Nim/issues/18643
+  let a: array[0, int] = []
+  var caught = false
+  let b = 9999999
+  try:
+    echo a[b]
+  except IndexDefect:
+    caught = true
+  doAssert caught, "IndexDefect not caught!"