Adding tests for union typedefs

Author: thk123

regression/goto-instrument-typedef/typedef-param-union1/main.c

@@ -0,0 +1,10 @@
+
+typedef union tag_union_name
+{
+  int x;
+  float y;
+} MYUNION;
+
+void fun(union tag_union_name tag_union_param, MYUNION myunion_param)
+{
+}

regression/goto-instrument-typedef/typedef-param-union1/test.desc

@@ -0,0 +1,11 @@
+CORE
+main.c
+"--show-symbol-table"
+// Enable multi-line checking
+-Pzo
+EXIT=0
+SIGNAL=0
+(?s)Base name\.+: tag_union_param.Mode\.+: C.Type\.+: union tag_union_name
+(?s)Base name\.+: myunion_param.Mode\.+: C.Type\.+: MYUNION
+--
+warning: ignoring

regression/goto-instrument-typedef/typedef-return-union1/main.c

@@ -0,0 +1,20 @@
+
+typedef union tag_union_name
+{
+  int x;
+  float y;
+} MYUNION;
+
+union tag_union_name fun()
+{
+  union tag_union_name return_variable = {1};
+  return return_variable;
+}
+
+MYUNION fun2()
+{
+  MYUNION return_variable = {1};
+  return return_variable;
+}
+
+

regression/goto-instrument-typedef/typedef-return-union1/test.desc

@@ -0,0 +1,11 @@
+CORE
+main.c
+"--show-symbol-table"
+// Enable multi-line checking
+-Pzo
+EXIT=0
+SIGNAL=0
+(?s)Base name\.+: fun.Mode\.+: C.Type\.+: union tag_union_name \(\)
+(?s)Base name\.+: fun2.Mode\.+: C.Type\.+: MYUNION \(\)
+--
+warning: ignoring

regression/goto-instrument-typedef/typedef-union1/main.c

@@ -0,0 +1,12 @@
+
+typedef union tag_union_name
+{
+  int x;
+  float y;
+} MYUNION;
+
+void fun()
+{
+  union tag_union_name tag_union_var = {1};
+  MYUNION myunion_var = {.y = 2.1f};
+}

regression/goto-instrument-typedef/typedef-union1/test.desc

@@ -0,0 +1,11 @@
+CORE
+main.c
+"--show-symbol-table"
+// Enable multi-line checking
+-Pzo
+EXIT=0
+SIGNAL=0
+(?s)Base name\.+: tag_union_var.Mode\.+: C.Type\.+: union tag_union_name
+(?s)Base name\.+: myunion_var.Mode\.+: C.Type\.+: MYUNION
+--
+warning: ignoring