OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

PR c++/79556 - C++17 ICE with non-type auto

Browse Source 
* pt.c (do_auto_deduction): Don't try to deduce from null type.

From-SVN: r245543
This commit is contained in:
Jason Merrill 2017-02-17 13:42:37 -05:00 committed by Jason Merrill
parent 34a64e47cd
commit b10c7cd74a
3 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gcc/cp/ChangeLog
View File

@ -1,5 +1,8 @@
2017-02-17 Jason Merrill <jason@redhat.com>
PR c++/79556 - C++17 ICE with non-type auto
* pt.c (do_auto_deduction): Don't try to deduce from null type.
PR c++/79533 - C++17 ICE with temporary cast to reference
* call.c (build_over_call): Conversion to a reference prevents copy
elision.

4
gcc/cp/pt.c
View File

@ -25191,6 +25191,10 @@ do_auto_deduction (tree type, tree init, tree auto_node,
/* C++17 class template argument deduction. */
return do_class_deduction (type, tmpl, init, flags, complain);
if (TREE_TYPE (init) == NULL_TREE)
/* Nothing we can do with this, even in deduction context. */
return type;
/* [dcl.spec.auto]: Obtain P from T by replacing the occurrences of auto
with either a new invented type template parameter U or, if the
initializer is a braced-init-list (8.5.4), with

8
gcc/testsuite/g++.dg/cpp1z/nontype-auto9.C Normal file
View File

@ -0,0 +1,8 @@
// PR c++/79556
// { dg-options -std=c++1z }
template <auto> struct A;
template <auto...> struct B;
template <int N, auto Dim, auto... Dims> struct B<N, Dim, Dims...> {
static auto a = A<B<Dims...>::value>::value;
};