diff options
| author | Mark Mitchell <mark@codesourcery.com> | 2003-07-01 17:36:00 +0000 |
|---|---|---|
| committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2003-07-01 17:36:00 +0000 |
| commit | 62bfce90da38001c15c416e3a605b1ed2ad7049f (patch) | |
| tree | e759765f002989b910b272e3f75bc1701cf087b7 | |
| parent | f64f3e74b9d2260a9e7bd3cf23c2e429876b327e (diff) | |
| download | gcc-62bfce90da38001c15c416e3a605b1ed2ad7049f.zip gcc-62bfce90da38001c15c416e3a605b1ed2ad7049f.tar.gz gcc-62bfce90da38001c15c416e3a605b1ed2ad7049f.tar.bz2 | |
re PR c++/11149 (ICE on error when instantiation with call function of a base type)
PR c++/11149
* call.c (resolve_scoped_fn_name): Check that the qualifying scope
is a class type.
PR c++/11149
* g++.dg/lookup/scoped6.C: New test.
From-SVN: r68782
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/call.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/lookup/scoped6.C | 17 |
4 files changed, 30 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5487d33..e9180bf 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2003-07-01 Mark Mitchell <mark@codesourcery.com> + + PR c++/11149 + * call.c (resolve_scoped_fn_name): Check that the qualifying scope + is a class type. + 2003-07-01 Giovanni Bajo <giovannibajo@libero.it> PR c++/8046 diff --git a/gcc/cp/call.c b/gcc/cp/call.c index d92a24e..0f4d360 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -2765,6 +2765,8 @@ resolve_scoped_fn_name (tree scope, tree name) if (TREE_CODE (scope) == NAMESPACE_DECL) fn = lookup_namespace_name (scope, name); + else if (!CLASS_TYPE_P (scope)) + error ("`%T' is not a class type", scope); else { if (!TYPE_BEING_DEFINED (scope) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 95e4e01..86cabcb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-07-01 Mark Mitchell <mark@codesourcery.com> + + PR c++/11149 + * g++.dg/lookup/scoped6.C: New test. + 2003-07-01 Giovanni Bajo <giovannibajo@libero.it> PR c++/8046 diff --git a/gcc/testsuite/g++.dg/lookup/scoped6.C b/gcc/testsuite/g++.dg/lookup/scoped6.C new file mode 100644 index 0000000..d9566a7 --- /dev/null +++ b/gcc/testsuite/g++.dg/lookup/scoped6.C @@ -0,0 +1,17 @@ +template <typename X> +class Foo { + int i; +public: + Foo() { + X::explode(); // { dg-error "" } + } +}; + +class Bar { + Foo<int> foo_; +public: + Bar() {} // { dg-error "instantiated" } +}; + +template class Foo<int>; + |