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 000000000000..dc3ce5d89e31 --- /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(0, 0, 0, 0, 0, 0, 1); // { dg-bogus "uninitialized" } + } + + template + T pick(T first, Args... args) + { + return pickGivenNum(rand(), first, args...); + } + + template + T pickGivenNum(size_t num, T first) + { + if (num != 0) __builtin_abort(); + return first; + } + + template + T pickGivenNum(size_t num, T first, Args... args) + { + if (num == 0) return first; + return pickGivenNum(num - 1, args...); + } +}; + +int main () +{ + Maker maker; + maker.makeConst(); + maker.makeConst(); +}