My PR969626 patch made us ignore template candidates when there's a perfect non-template candidate. In this case, we were considering B(int) a perfect match for B({0}), but the brace elision makes it imperfect.
Tested x86_64-pc-linux-gnu, applying to trunk. PR c++/100963 gcc/cp/ChangeLog: * call.c (perfect_conversion_p): Check check_narrowing. gcc/testsuite/ChangeLog: * g++.dg/cpp0x/initlist124.C: New test. --- gcc/cp/call.c | 3 +++ gcc/testsuite/g++.dg/cpp0x/initlist124.C | 13 +++++++++++++ 2 files changed, 16 insertions(+) create mode 100644 gcc/testsuite/g++.dg/cpp0x/initlist124.C diff --git a/gcc/cp/call.c b/gcc/cp/call.c index 17fc60cd4af..d2f6ca872fc 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -5880,6 +5880,9 @@ perfect_conversion_p (conversion *conv) next_conversion (conv)->type)) return false; } + if (conv->check_narrowing) + /* Brace elision is imperfect. */ + return false; return true; } diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist124.C b/gcc/testsuite/g++.dg/cpp0x/initlist124.C new file mode 100644 index 00000000000..45dcbb303e2 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/initlist124.C @@ -0,0 +1,13 @@ +// PR c++/100963 +// { dg-do compile { target c++11 } } + +#include <initializer_list> + +struct B { + B(int) = delete; + template<class T> B(std::initializer_list<T>); +}; + +int main() { + B({0}); +} base-commit: 69bb37f9e0143fbca3124069c0e9b6937ccf1fc7 -- 2.27.0