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
