Merge pull request #356 from thk123/bug/const-structs-regression-test

Added a regression to demonstrate const structs

Author: Daniel Kroening

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;
+}

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