mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-19 00:01:21 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR c++/80449 (ICE reporting failed partial class template specialization class template argument deduction)

Browse Source 
/cp
2017-10-23  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/80449
	* semantics.c (finish_compound_literal): Check do_auto_deduction
	return value for error_mark_node.

/testsuite
2017-10-23  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/80449
	* g++.dg/cpp1z/class-deduction46.C: New.

From-SVN: r254026
This commit is contained in:
Paolo Carlini 2017-10-23 21:37:59 +00:00 committed by Paolo Carlini
parent 6b10f1741a
commit 403226f0ed
4 changed files with 23 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/cp/ChangeLog
View File

@ -1,3 +1,9 @@
2017-10-23 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/80449
* semantics.c (finish_compound_literal): Check do_auto_deduction
return value for error_mark_node.
2017-10-23 Jason Merrill <jason@redhat.com>
PR c++/77369 - wrong noexcept handling in C++14 and below

8
gcc/cp/semantics.c
View File

@ -2711,8 +2711,12 @@ finish_compound_literal (tree type, tree compound_literal,
if (tree anode = type_uses_auto (type))
if (CLASS_PLACEHOLDER_TEMPLATE (anode))
type = do_auto_deduction (type, compound_literal, anode, complain,
adc_variable_type);
{
type = do_auto_deduction (type, compound_literal, anode, complain,
adc_variable_type);
if (type == error_mark_node)
return error_mark_node;
}
if (processing_template_decl)
{

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2017-10-23 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/80449
* g++.dg/cpp1z/class-deduction46.C: New.
2017-10-23 Jakub Jelinek <jakub@redhat.com>
PR debug/82630

6
gcc/testsuite/g++.dg/cpp1z/class-deduction46.C Normal file
View File

@ -0,0 +1,6 @@
// PR c++/80449
// { dg-options -std=c++17 }
template<class S> struct C;
template<> struct C<int> { C(int, int) {} };
auto k = C{0, 0}; // { dg-error "cannot deduce" }