diff options
| author | Mark Mitchell <mark@codesourcery.com> | 2004-01-26 20:11:46 +0000 |
|---|---|---|
| committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2004-01-26 20:11:46 +0000 |
| commit | 6f69173e896f251b47075d29b7d146e6b51fc5ac (patch) | |
| tree | 4adc386d86d81cf768b91773ce0f5b5eb0841e32 | |
| parent | 044feeeba05b6f0e599fbaa325429cb659987e59 (diff) | |
| download | gcc-6f69173e896f251b47075d29b7d146e6b51fc5ac.zip gcc-6f69173e896f251b47075d29b7d146e6b51fc5ac.tar.gz gcc-6f69173e896f251b47075d29b7d146e6b51fc5ac.tar.bz2 | |
re PR c++/13663 (gcc segfaults on invalid use of member)
PR c++/13663
* semantics.c (finish_for_expr): Check for unresolved overloaded
functions.
PR c++/13363
* g++.dg/expr/for1.C: New test.
From-SVN: r76659
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/semantics.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/expr/for1.C | 14 |
4 files changed, 30 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 917457b..a6248b6 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2004-01-26 Mark Mitchell <mark@codesourcery.com> + PR c++/13663 + * semantics.c (finish_for_expr): Check for unresolved overloaded + functions. + * class.c (add_method): Just check processing_template_decl to determine whether or not we are within a template. * decl2.c (maybe_retrofit_in_chrg): Likewise. diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index 69364d8..deb5b82 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -678,6 +678,13 @@ finish_for_cond (tree cond, tree for_stmt) void finish_for_expr (tree expr, tree for_stmt) { + /* If EXPR is an overloaded function, issue an error; there is no + context available to use to perform overload resolution. */ + if (expr && type_unknown_p (expr)) + { + cxx_incomplete_type_error (expr, TREE_TYPE (expr)); + expr = error_mark_node; + } FOR_EXPR (for_stmt) = expr; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5618d1d..3d25f19 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2004-01-26 Mark Mitchell <mark@codesourcery.com> + + PR c++/13363 + * g++.dg/expr/for1.C: New test. + 2004-01-26 Fariborz Jahanian <fjahanian@apple.com> PR middle-end/13779 diff --git a/gcc/testsuite/g++.dg/expr/for1.C b/gcc/testsuite/g++.dg/expr/for1.C new file mode 100644 index 0000000..baffd42 --- /dev/null +++ b/gcc/testsuite/g++.dg/expr/for1.C @@ -0,0 +1,14 @@ +// PR c++/13663 + +struct S { + void f(); +}; + +void g(int); +void g(double); + +void h () { + S s; + for (;;s.f); // { dg-error "" } + for (;;g); // { dg-error "" } +} |