re PR c++/46420 ([C++0X][4.6 regression] ICE: in tsubst_copy, at cp/pt.c:11677)

PR c++/46420
	* pt.c (tsubst_copy_and_build) [TARGET_EXPR]: New case.
	[CONSTRUCTOR]: Use the tsubsted type.

From-SVN: r166592
This commit is contained in:
Jason Merrill 2010-11-11 01:17:32 -05:00 committed by Jason Merrill
parent 72b53e21bd
commit 9c8b521559
4 changed files with 28 additions and 0 deletions

View File

@ -1,5 +1,9 @@
2010-11-10 Jason Merrill <jason@redhat.com>
PR c++/46420
* pt.c (tsubst_copy_and_build) [TARGET_EXPR]: New case.
[CONSTRUCTOR]: Use the tsubsted type.
PR c++/46369
* semantics.c (cxx_eval_bit_field_ref): New.
(cxx_eval_constant_expression): Call it.

View File

@ -13197,6 +13197,7 @@ tsubst_copy_and_build (tree t,
if (TREE_HAS_CONSTRUCTOR (t))
return finish_compound_literal (type, r);
TREE_TYPE (r) = type;
return r;
}
@ -13316,6 +13317,12 @@ tsubst_copy_and_build (tree t,
return build_lambda_object (r);
}
case TARGET_EXPR:
/* We can get here for a constant initializer of non-dependent type.
FIXME stop folding in cp_parser_initializer_clause. */
gcc_assert (TREE_CONSTANT (t));
return get_target_expr (RECUR (TARGET_EXPR_INITIAL (t)));
default:
/* Handle Objective-C++ constructs, if appropriate. */
{

View File

@ -1,3 +1,7 @@
2010-11-10 Jason Merrill <jason@redhat.com>
* g++.dg/cpp0x/constexpr-46420.C: New.
2010-11-10 Joseph Myers <joseph@codesourcery.com>
* g++.dg/ext/bitfield2.C, g++.dg/ext/bitfield4.C,

View File

@ -0,0 +1,13 @@
// PR c++/46420
// { dg-options -std=c++0x }
template<typename> class vector { };
struct A{};
template <class T1>
void complete_test(vector<T1> data1){
A drop=A();
}
int main(){
vector<double> vect1;
complete_test(vect1);
}