re PR c++/10119 (tree-checking ICE in dump_expr)

cp:
	PR c++/10119
	* error.c (dump_expr) [BASELINK]: Use dump_expr.
	* pt.c (maybe_fold_nontype_args): New function.
	(tsubst_copy) [SCOPE_REF]: Subst any template_id args.
	[TEMPLATE_ID_EXPR]: Break out folding code, call it.
	(tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: Call
	maybe_fold_nontype_args.
testsuite:
	PR c++/10119
	* g++.dg/template/ptrmem5.C: New test.

From-SVN: r64814
This commit is contained in:
Nathan Sidwell 2003-03-24 19:41:10 +00:00 committed by Nathan Sidwell
parent 05253aed88
commit a5fcc8951b
3 changed files with 38 additions and 0 deletions

View file

@ -1,3 +1,13 @@
2003-03-24 Nathan Sidwell <nathan@codesourcery.com>
PR c++/10119
* error.c (dump_expr) [BASELINK]: Use dump_expr.
* pt.c (maybe_fold_nontype_args): New function.
(tsubst_copy) [SCOPE_REF]: Subst any template_id args.
[TEMPLATE_ID_EXPR]: Break out folding code, call it.
(tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: Call
maybe_fold_nontype_args.
2003-03-24 Nathan Sidwell <nathan@codesourcery.com>
PR c++/10026

View file

@ -1,5 +1,8 @@
2003-03-24 Nathan Sidwell <nathan@codesourcery.com>
PR c++/10119
* g++.dg/template/ptrmem5.C: New test.
PR c++/10026
* g++.dg/lookup/koenig1.C: New test.

View file

@ -0,0 +1,25 @@
// { dg-do compile }
// Copyright (C) 2003 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 24 Mar 2003 <nathan@codesourcery.com>
// PR 10119 (part). We failed to tsubst the args of a template-id-expr
template <class T, void (T::* const U)()> struct Good
{
static int const value = 0;
};
struct A
{
template <typename U> void good ()
{
int s_id = Good<A, &A::good<U> >::value;
}
};
int main()
{
A().good<int>();
}