diff options
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/cp-gimplify.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp1z/decomp22.C | 21 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp1z/decomp23.C | 12 |
5 files changed, 46 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5010aeb..05c6b60 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2017-01-24 Jakub Jelinek <jakub@redhat.com> + + PR c++/79205 + * cp-gimplify.c (cp_genericize_r): Add result of + convert_from_reference on invisiref parm to p_set. + 2017-01-24 Nathan Sidwell <nathan@acm.org> PR c++/78469 - defaulted ctor and inaccessible dtor diff --git a/gcc/cp/cp-gimplify.c b/gcc/cp/cp-gimplify.c index 2c59c07..1364703 100644 --- a/gcc/cp/cp-gimplify.c +++ b/gcc/cp/cp-gimplify.c @@ -1107,6 +1107,7 @@ cp_genericize_r (tree *stmt_p, int *walk_subtrees, void *data) if (wtd->handle_invisiref_parm_p && is_invisiref_parm (stmt)) { *stmt_p = convert_from_reference (stmt); + p_set->add (*stmt_p); *walk_subtrees = 0; return NULL; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 01df86d..f8a9536 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2017-01-24 Jakub Jelinek <jakub@redhat.com> + + PR c++/79205 + * g++.dg/cpp1z/decomp22.C: New test. + * g++.dg/cpp1z/decomp23.C: New test. + 2017-01-24 Nathan Sidwell <nathan@acm.org> PR c++/78469 diff --git a/gcc/testsuite/g++.dg/cpp1z/decomp22.C b/gcc/testsuite/g++.dg/cpp1z/decomp22.C new file mode 100644 index 0000000..81d40c5 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1z/decomp22.C @@ -0,0 +1,21 @@ +// PR c++/79205 +// { dg-do compile { target c++11 } } +// { dg-options "" } + +template <unsigned long, typename...> struct B; +template <unsigned long I, typename H> struct B<I, H> { int b; }; +template <typename... E> struct C { B<0, E...> c; C (C &) = default; C (C &&); }; +template <typename> struct tuple_size; +template <> struct tuple_size<C<int>> { static constexpr int value = 1; }; +template <int, typename> struct tuple_element; +template <typename H, typename... T> +struct tuple_element<0, C<H, T...>> { typedef int type; }; +template <int, typename... E> +int &&get (C<E...> &&); + +int +foo (C<int> t) +{ + auto[x0] = t; // { dg-warning "decomposition declaration only available with" "" { target c++14_down } } + return x0; +} diff --git a/gcc/testsuite/g++.dg/cpp1z/decomp23.C b/gcc/testsuite/g++.dg/cpp1z/decomp23.C new file mode 100644 index 0000000..c682fa0 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1z/decomp23.C @@ -0,0 +1,12 @@ +// PR c++/79205 +// { dg-do compile { target c++11 } } +// { dg-options "" } + +#include <tuple> + +int +foo (std::tuple<int> t) +{ + auto [x0] = t; // { dg-warning "decomposition declaration only available with" "" { target c++14_down } } + return x0; +} |