diff options
| author | Mark Mitchell <mark@codesourcery.com> | 2005-09-16 01:50:26 +0000 |
|---|---|---|
| committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2005-09-16 01:50:26 +0000 |
| commit | 3489ea0cb1ee05d7c65b5178cc9f382c1578f254 (patch) | |
| tree | 42cb31327a251297cee280781730079e7371a689 /gcc | |
| parent | bba35acfce4ef15716ffc6dee95eb0d6e82aec9c (diff) | |
| download | gcc-3489ea0cb1ee05d7c65b5178cc9f382c1578f254.zip gcc-3489ea0cb1ee05d7c65b5178cc9f382c1578f254.tar.gz gcc-3489ea0cb1ee05d7c65b5178cc9f382c1578f254.tar.bz2 | |
re PR c++/23896 (boost::tie() = std::pair doesn't compile)
PR c++/23896
* pt.c (tsubst_aggr_type): Make sure skip_evaluation is false when
processing template arguments.
PR c++/23896
* g++.dg/template/static17.C: New test.
From-SVN: r104336
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 20 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/static17.C | 13 |
4 files changed, 37 insertions, 5 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 868ef3a..188189f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2005-09-15 Mark Mitchell <mark@codesourcery.com> + PR c++/23896 + * pt.c (tsubst_aggr_type): Make sure skip_evaluation is false when + processing template arguments. + * pt.c (check_explicit_instantiation_namespace): Fix typo. PR c++/13140 diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 8840d27..ece9614 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -6069,6 +6069,11 @@ tsubst_aggr_type (tree t, tree argvec; tree context; tree r; + bool saved_skip_evaluation; + + /* In "sizeof(X<I>)" we need to evaluate "I". */ + saved_skip_evaluation = skip_evaluation; + skip_evaluation = false; /* First, determine the context for the type we are looking up. */ @@ -6089,12 +6094,17 @@ tsubst_aggr_type (tree t, argvec = tsubst_template_args (TYPE_TI_ARGS (t), args, complain, in_decl); if (argvec == error_mark_node) - return error_mark_node; - - r = lookup_template_class (t, argvec, in_decl, context, - entering_scope, complain); + r = error_mark_node; + else + { + r = lookup_template_class (t, argvec, in_decl, context, + entering_scope, complain); + r = cp_build_qualified_type_real (r, TYPE_QUALS (t), complain); + } + + skip_evaluation = saved_skip_evaluation; - return cp_build_qualified_type_real (r, TYPE_QUALS (t), complain); + return r; } else /* This is not a template type, so there's nothing to do. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 39fc06a..e9b96a9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-09-15 Mark Mitchell <mark@codesourcery.com> + + PR c++/23896 + * g++.dg/template/static17.C: New test. + 2005-09-15 Joseph S. Myers <joseph@codesourcery.com> PR c++/23139 diff --git a/gcc/testsuite/g++.dg/template/static17.C b/gcc/testsuite/g++.dg/template/static17.C new file mode 100644 index 0000000..bf79bcc --- /dev/null +++ b/gcc/testsuite/g++.dg/template/static17.C @@ -0,0 +1,13 @@ +// PR c++/23896 + +template <int> struct X {}; + +template <typename T> struct length { + static const int value = 2; +}; + +template <typename T> void foo () { + sizeof(X<length<T>::value>); +} + +template void foo<int>(); |