diff options
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/typeck.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/lookup3.C | 16 |
4 files changed, 30 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index defadd5..4e4864fd 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2003-12-22 Mark Mitchell <mark@codesourcery.com> + + PR c++/12397 + * typeck.c (finish_class_member_access_expr): Don't tree + IDENTIFIER_NODEs as non-dependent expressions. + 2003-12-22 Andrew Pinski <pinskia@physics.uc.edu> PR c++/5050 diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c index b76d536..3cdfdc2 100644 --- a/gcc/cp/typeck.c +++ b/gcc/cp/typeck.c @@ -1809,6 +1809,9 @@ finish_class_member_access_expr (tree object, tree name) { if (/* If OBJECT_TYPE is dependent, so is OBJECT.NAME. */ dependent_type_p (object_type) + /* If NAME is just an IDENTIFIER_NODE, then the expression + is dependent. */ + || TREE_CODE (object) == IDENTIFIER_NODE /* If NAME is "f<args>", where either 'f' or 'args' is dependent, then the expression is dependent. */ || (TREE_CODE (name) == TEMPLATE_ID_EXPR diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 640c307..f376569 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-12-22 Mark Mitchell <mark@codesourcery.com> + + PR c++/12397 + * g++.dg/template/lookup3.C: New test. + 2003-12-22 Andrew Pinski <pinskia@physics.uc.edu> * g++.dg/template/recurse1.C: New test diff --git a/gcc/testsuite/g++.dg/template/lookup3.C b/gcc/testsuite/g++.dg/template/lookup3.C new file mode 100644 index 0000000..c96a0b0 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/lookup3.C @@ -0,0 +1,16 @@ +// PR c++/12397 + +struct foo { }; + +template <typename T> struct bar +{ + bar(){} + int i; + bar (const bar<T>& foo) : i (foo.i) {} +}; + +int main() +{ + bar<int> b1; + bar<int> b2(b1); +} |