From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <msebor@sourceware.org>
Received: by sourceware.org (Postfix, from userid 1930)
 id A85AF3851C3E; Mon, 29 Mar 2021 19:54:26 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A85AF3851C3E
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="utf-8"
From: Martin Sebor <msebor@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r11-7896] PR tree-optimization/61112 - repeated conditional
 triggers false positive -Wmaybe-uninitialized
X-Act-Checkin: gcc
X-Git-Author: Martin Sebor <msebor@redhat.com>
X-Git-Refname: refs/heads/master
X-Git-Oldrev: 7b6ca93b2d57ead352cd5cc3e10be4c33dda674b
X-Git-Newrev: 77093a75ca4f3a0d6d9ca77ca8905b77695a2599
Message-Id: <20210329195426.A85AF3851C3E@sourceware.org>
Date: Mon, 29 Mar 2021 19:54:26 +0000 (GMT)
X-BeenThere: gcc-cvs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-cvs mailing list <gcc-cvs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-cvs/>
List-Help: <mailto:gcc-cvs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Mon, 29 Mar 2021 19:54:26 -0000

https://gcc.gnu.org/g:77093a75ca4f3a0d6d9ca77ca8905b77695a2599

commit r11-7896-g77093a75ca4f3a0d6d9ca77ca8905b77695a2599
Author: Martin Sebor <msebor@redhat.com>
Date:   Mon Mar 29 13:52:53 2021 -0600

    PR tree-optimization/61112 - repeated conditional triggers false positive -Wmaybe-uninitialized
    
    gcc/testsuite/ChangeLog:
            PR tree-optimization/61112
            * gcc.dg/uninit-pr61112.c: New test.

Diff:
---
 gcc/testsuite/gcc.dg/uninit-pr61112.c | 89 +++++++++++++++++++++++++++++++++++
 1 file changed, 89 insertions(+)

diff --git a/gcc/testsuite/gcc.dg/uninit-pr61112.c b/gcc/testsuite/gcc.dg/uninit-pr61112.c
new file mode 100644
index 00000000000..1dbf756f01d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pr61112.c
@@ -0,0 +1,89 @@
+/* PR tree-optimization/61112 - repeated conditional triggers false-positive
+   -Wmaybe-uninitialized warning
+   { dg-do compile }
+   { dg-options "-O2 -Wall" } */
+
+int p;
+
+void foo_c0 (int x, int y, int z)
+{
+  int w;
+  if (x)
+    w = z;
+  if (y)
+    w = __LINE__;
+
+  if (x || y)
+    p = w;          // { dg-bogus "-Wmaybe-uninitialized" }
+}
+
+
+void foo_c5_1_1 (int x, int y, int z, int a)
+{
+  int w;
+  if (x)
+    w = z;
+  if (y)
+    w = __LINE__;
+  if (a)
+    w = __LINE__;
+
+  if (x || y || a)
+    p = w;          // { dg-bogus "-Wmaybe-uninitialized" "pr61112" { xfail *-*-* } }
+}
+
+void foo_c5_1_2 (int x, int y, int z, int a)
+{
+  int w;
+  if (x)
+    w = z;
+  if (y)
+    w = __LINE__;
+  if (a)
+    w = __LINE__;
+
+  if (x || a || y)
+    p = w;          // { dg-bogus "-Wmaybe-uninitialized" "pr61112" { xfail *-*-* } }
+}
+
+void foo_c5_1_3 (int x, int y, int z, int a)
+{
+  int w;
+  if (x)
+    w = z;
+  if (y)
+    w = __LINE__;
+  if (a)
+    w = __LINE__;
+
+  if (a || x || y)
+    p = w;          // { dg-bogus "-Wmaybe-uninitialized" "pr61112" { xfail *-*-* } }
+}
+
+void foo_c5_2 (int x, int y, int z, int a)
+{
+  int w;
+  if (x)
+    w = __LINE__;
+  if (y)
+    w = z;
+  if (a)
+    w = __LINE__;
+
+  if (x || y || a)
+    p = w;          // { dg-bogus "-Wmaybe-uninitialized" }
+}
+
+void foo_c5_3 (int x, int y, int z, int a)
+{
+  int w;
+  if (x)
+    w = __LINE__;
+  if (y)
+    w = __LINE__;
+  if (a)
+    w = z;
+
+  if (x || y || a)
+    p = w;          // { dg-bogus "-Wmaybe-uninitialized" }
+}