[PATCH] New uninit testcase

[PATCH] New uninit testcase

[Richard Biener]

I've reduced the following which doesn't seem covered in a good enough
way in the testsuite.

Pushed.

	* gcc.dg/uninit-pred-10.c: New testcase.
---
 gcc/testsuite/gcc.dg/uninit-pred-10.c | 36 +++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/uninit-pred-10.c

diff --git a/gcc/testsuite/gcc.dg/uninit-pred-10.c b/gcc/testsuite/gcc.dg/uninit-pred-10.c
new file mode 100644
index 00000000000..468b4d3ad4b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pred-10.c
@@ -0,0 +1,36 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -Wuninitialized" } */
+
+enum demangle_component_type {
+  DEMANGLE_COMPONENT_NAME,
+  DEMANGLE_COMPONENT_REFERENCE
+};
+struct demangle_component {
+  enum demangle_component_type type;
+} d_print_comp_inner_mod_inner, *d_print_comp_inner_dc;
+struct d_print_mod {
+  struct d_print_mod *next;
+};
+struct d_print_info {
+  int templates;
+  struct d_print_mod *modifiers;
+};
+void d_print_comp_inner(struct d_print_info *dpi)
+{
+  int saved_templates, need_template_restore = 0;
+  switch (d_print_comp_inner_dc->type) {
+  case DEMANGLE_COMPONENT_NAME:
+    goto modifier;
+  case DEMANGLE_COMPONENT_REFERENCE:
+    saved_templates = dpi->templates;
+    need_template_restore = 1;
+  modifier:
+    struct d_print_mod dpm;
+    dpm.next = dpi->modifiers;
+    d_print_comp_inner_mod_inner = *d_print_comp_inner_dc;
+    d_print_comp_inner(dpi);
+    dpi->modifiers = dpm.next;
+    if (need_template_restore)
+      dpi->templates = saved_templates; /* { dg-bogus "uninitialized" } */
+  }
+}
-- 
2.35.3

[PATCH] New uninit testcase

[Richard Biener]

I've reduced the following which doesn't seem covered in a good enough
way in the testsuite.

Pushed.

	* gcc.dg/uninit-pred-10.c: New testcase.
---
 gcc/testsuite/gcc.dg/uninit-pred-10.c | 36 +++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/uninit-pred-10.c

diff --git a/gcc/testsuite/gcc.dg/uninit-pred-10.c b/gcc/testsuite/gcc.dg/uninit-pred-10.c
new file mode 100644
index 00000000000..468b4d3ad4b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pred-10.c
@@ -0,0 +1,36 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -Wuninitialized" } */
+
+enum demangle_component_type {
+  DEMANGLE_COMPONENT_NAME,
+  DEMANGLE_COMPONENT_REFERENCE
+};
+struct demangle_component {
+  enum demangle_component_type type;
+} d_print_comp_inner_mod_inner, *d_print_comp_inner_dc;
+struct d_print_mod {
+  struct d_print_mod *next;
+};
+struct d_print_info {
+  int templates;
+  struct d_print_mod *modifiers;
+};
+void d_print_comp_inner(struct d_print_info *dpi)
+{
+  int saved_templates, need_template_restore = 0;
+  switch (d_print_comp_inner_dc->type) {
+  case DEMANGLE_COMPONENT_NAME:
+    goto modifier;
+  case DEMANGLE_COMPONENT_REFERENCE:
+    saved_templates = dpi->templates;
+    need_template_restore = 1;
+  modifier:
+    struct d_print_mod dpm;
+    dpm.next = dpi->modifiers;
+    d_print_comp_inner_mod_inner = *d_print_comp_inner_dc;
+    d_print_comp_inner(dpi);
+    dpi->modifiers = dpm.next;
+    if (need_template_restore)
+      dpi->templates = saved_templates; /* { dg-bogus "uninitialized" } */
+  }
+}
-- 
2.35.3