diff --git a/regression/goto-instrument/const-struct1/main.c b/regression/goto-instrument/const-struct1/main.c
new file mode 100644
index 00000000000..fda2dc345f6
--- /dev/null
+++ b/regression/goto-instrument/const-struct1/main.c
@@ -0,0 +1,13 @@
+
+struct struct_tag_name
+{
+	int x;
+	float y;
+};
+
+int main()
+{
+  const struct struct_tag_name my_struct_var = {.x =  1, .y = 3.15};
+  const double z = 4;
+  return 0;
+}
diff --git a/regression/goto-instrument/const-struct1/test.desc b/regression/goto-instrument/const-struct1/test.desc
new file mode 100644
index 00000000000..e8387dcf111
--- /dev/null
+++ b/regression/goto-instrument/const-struct1/test.desc
@@ -0,0 +1,9 @@
+KNWONBUG
+main.c
+"--show-symbol-table"
+^Type\.*: struct struct_tag_name$
+^Type\.*: const double$
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring