diff options
author | Paolo Carlini <paolo.carlini@oracle.com> | 2018-05-08 08:55:30 +0000 |
---|---|---|
committer | Paolo Carlini <paolo@gcc.gnu.org> | 2018-05-08 08:55:30 +0000 |
commit | 3e8f909a069d36528b4cfd404db8d857f9a9d95b (patch) | |
tree | 5602cd580808feb5fbb89b9b8d929ef8e53a9cba /gcc | |
parent | 4be63d9e5e406c7cde479c8c671ae9e9c17c5526 (diff) | |
download | gcc-3e8f909a069d36528b4cfd404db8d857f9a9d95b.zip gcc-3e8f909a069d36528b4cfd404db8d857f9a9d95b.tar.gz gcc-3e8f909a069d36528b4cfd404db8d857f9a9d95b.tar.bz2 |
re PR c++/80691 (Narrowing conversion in {} allowed in a SFINAE context)
2018-05-08 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/80691
* g++.dg/cpp0x/narrowing1.C: New.
From-SVN: r260027
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/narrowing1.C | 24 |
2 files changed, 29 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 795af52..000dc68 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-05-08 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/80691 + * g++.dg/cpp0x/narrowing1.C: New. + 2018-05-08 Richard Biener <rguenther@suse.de> PR middle-end/85588 diff --git a/gcc/testsuite/g++.dg/cpp0x/narrowing1.C b/gcc/testsuite/g++.dg/cpp0x/narrowing1.C new file mode 100644 index 0000000..ba4bb4e --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/narrowing1.C @@ -0,0 +1,24 @@ +// PR c++/80691 +// { dg-do compile { target c++11 } } + +struct true_type { static constexpr bool value = true; }; +struct false_type { static constexpr bool value = false; }; +template<typename...> using void_t = void; +template<typename T> T&& declval(); + +template<typename T, typename U, typename = void> +struct is_nonnarrowing_conversion : false_type {}; + +template<typename T, typename U> +struct is_nonnarrowing_conversion<T, U, + void_t<decltype(T{ declval<U>() })>> : true_type {}; + +template<typename T> +class wrapper +{ +public: + wrapper(T) {} +}; + +static_assert(!is_nonnarrowing_conversion<int, float>::value, ""); +static_assert(!is_nonnarrowing_conversion<wrapper<int>, float>::value, ""); |