[gcc r12-1861] Regression tests for TREE_NO_WARNING enhancement to warning groups [PR74765, PR74762].

[gcc r12-1861] Regression tests for TREE_NO_WARNING enhancement to warning groups [PR74765, PR74762].

[Martin Sebor]

https://gcc.gnu.org/g:40c64c9ea565230817f08b5e66a30a1c94ec880c

commit r12-1861-g40c64c9ea565230817f08b5e66a30a1c94ec880c
Author: Martin Sebor <msebor@redhat.com>
Date:   Mon Jun 28 15:14:50 2021 -0600

    Regression tests for TREE_NO_WARNING enhancement to warning groups [PR74765, PR74762].
    
    PR middle-end/74765 - missing uninitialized warning (parenthesis, TREE_NO_WARNING abuse)
    PR middle-end/74762 - [9/10/11/12 Regression] missing uninitialized warning (C++, parenthesized expr, TREE_NO_WARNING)
    
    gcc/testsuite/ChangeLog:
    
            * g++.dg/uninit-pr74762.C: New test.
            * g++.dg/warn/uninit-pr74765.C: Same.

Diff:
---
 gcc/testsuite/g++.dg/uninit-pr74762.C      | 24 ++++++++++++++++++++++++
 gcc/testsuite/g++.dg/warn/uninit-pr74765.C | 24 ++++++++++++++++++++++++
 2 files changed, 48 insertions(+)

diff --git a/gcc/testsuite/g++.dg/uninit-pr74762.C b/gcc/testsuite/g++.dg/uninit-pr74762.C
new file mode 100644
index 00000000000..ce1bc59773e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/uninit-pr74762.C
@@ -0,0 +1,24 @@
+/* PR c++/74762 - missing uninitialized warning (C++, parenthesized expr)
+   { dg-do compile }
+   { dg-options "-Wall" } */
+
+struct tree2;
+struct tree_vector2
+{
+  tree2 *elts[1];
+};
+
+struct tree2
+{
+  struct
+  {
+    tree_vector2 vector;
+  } u;
+};
+
+tree2 *
+const_with_all_bytes_same (tree2 *val)
+{
+  int i;
+  return ((val->u.vector.elts[i]));   // { dg-warning "\\\[-Wuninitialized" }
+}
diff --git a/gcc/testsuite/g++.dg/warn/uninit-pr74765.C b/gcc/testsuite/g++.dg/warn/uninit-pr74765.C
new file mode 100644
index 00000000000..1b8c124b18b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/uninit-pr74765.C
@@ -0,0 +1,24 @@
+/* PR c++/74765 - missing uninitialized warning (parenthesis,
+   TREE_NO_WARNING abuse)
+   { dg-do compile }
+   { dg-options "-Wall" } */
+
+int warn_equal_parens (int x, int y)
+{
+  int i;
+
+  if ((i == 0))     // { dg-warning "\\\[-Wuninitialized" }
+    return x;
+
+  return y;
+}
+
+int warn_equal (int x, int y)
+{
+  int i;
+
+  if (i == 0)       // { dg-warning "\\\[-Wuninitialized" }
+    return x;
+
+  return y;
+}