From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <msebor@sourceware.org>
Received: by sourceware.org (Postfix, from userid 1930)
 id 3457E39551D7; Tue, 13 Apr 2021 20:55:20 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3457E39551D7
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-8162] PR tree-optimization/82800 - Incorrect warning on "may
 be used uninitialized in variadic template co
X-Act-Checkin: gcc
X-Git-Author: Martin Sebor <msebor@redhat.com>
X-Git-Refname: refs/heads/master
X-Git-Oldrev: 8084ab15a3e300e3b2c537e56e0f3a1b00778aec
X-Git-Newrev: af7128621e54f04b90589bb0c3e1ef271c239265
Message-Id: <20210413205520.3457E39551D7@sourceware.org>
Date: Tue, 13 Apr 2021 20:55:20 +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: Tue, 13 Apr 2021 20:55:20 -0000

https://gcc.gnu.org/g:af7128621e54f04b90589bb0c3e1ef271c239265

commit r11-8162-gaf7128621e54f04b90589bb0c3e1ef271c239265
Author: Martin Sebor <msebor@redhat.com>
Date:   Tue Apr 13 14:53:26 2021 -0600

    PR tree-optimization/82800 - Incorrect warning on "may be used uninitialized in variadic template code
    
    gcc/testsuite/ChangeLog:
            PR tree-optimization/82800
            * g++.dg/warn/uninit-pr82800.C: New test.

Diff:
---
 gcc/testsuite/g++.dg/warn/uninit-pr82800.C | 43 ++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)

diff --git a/gcc/testsuite/g++.dg/warn/uninit-pr82800.C b/gcc/testsuite/g++.dg/warn/uninit-pr82800.C
new file mode 100644
index 00000000000..dc3ce5d89e3
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/uninit-pr82800.C
@@ -0,0 +1,43 @@
+/* PR 82800 - Incorrect warning on "may be used uninitialized in
+   variadic template code
+   { dg-do compile { target c++11 } }
+   { dg-options "-O2 -Wall" } */
+
+typedef __SIZE_TYPE__ size_t;
+
+extern "C" int rand ();
+
+struct Maker
+{
+  double makeConst()
+  {
+    return pick<double>(0, 0, 0, 0, 0, 0, 1);   // { dg-bogus "uninitialized" }
+  }
+
+  template<typename T, typename... Args>
+  T pick(T first, Args... args)
+  {
+    return pickGivenNum<T>(rand(), first, args...);
+  }
+
+  template<typename T>
+  T pickGivenNum(size_t num, T first)
+  {
+    if (num != 0) __builtin_abort();
+    return first;
+  }
+
+  template<typename T, typename... Args>
+  T pickGivenNum(size_t num, T first, Args... args)
+  {
+    if (num == 0) return first;
+    return pickGivenNum<T>(num - 1, args...);
+  }
+};
+
+int main ()
+{
+  Maker maker;
+  maker.makeConst();
+  maker.makeConst();
+}