diff --git a/regression/goto-instrument/no_nondet_const/main.c b/regression/goto-instrument/no_nondet_const/main.c
new file mode 100644
index 00000000000..cc14b26d28a
--- /dev/null
+++ b/regression/goto-instrument/no_nondet_const/main.c
@@ -0,0 +1,8 @@
+int var;
+const int arr[] = {10, 20, 30};
+
+int main(void)
+{
+  var = arr[2];
+  return 0;
+}
diff --git a/regression/goto-instrument/no_nondet_const/test.desc b/regression/goto-instrument/no_nondet_const/test.desc
new file mode 100644
index 00000000000..4056e95e640
--- /dev/null
+++ b/regression/goto-instrument/no_nondet_const/test.desc
@@ -0,0 +1,8 @@
+CORE
+main.c
+--nondet-static
+^EXIT=0$
+^SIGNAL=0$
+--
+arr = NONDET\(const signed int \[3ll\]\)
+--