re PR c++/10219 (ICE in maybe_adjust_types_for_deduction on invalid code)

cp:
	PR c++/10219
	* pt.c (type_unification_real): Don't unify exprs of error type.
	* tree.c (error_type): Don't die on error_type.
testsuite:
	PR c++/10219
	* g++.dg/template/error1.C: New.

From-SVN: r68825
This commit is contained in:
Nathan Sidwell 2003-07-02 09:41:52 +00:00 committed by Nathan Sidwell
parent 0c83a0fcff
commit 08476342ab
5 changed files with 25 additions and 0 deletions

View File

@ -1,5 +1,9 @@
2003-07-02 Nathan Sidwell <nathan@codesourcery.com>
PR c++/10219
* pt.c (type_unification_real): Don't unify exprs of error type.
* tree.c (error_type): Don't die on error_type.
PR c++/9779
* decl2.c (arg_assoc_class): Don't die on NULL type.
* typeck.c (type_unknown_p): Don't die on untyped expressions.

View File

@ -8830,6 +8830,8 @@ type_unification_real (tree tparms,
continue;
}
arg = TREE_TYPE (arg);
if (arg == error_mark_node)
return 1;
}
{

View File

@ -1747,8 +1747,11 @@ tree
error_type (tree arg)
{
tree type = TREE_TYPE (arg);
if (TREE_CODE (type) == ARRAY_TYPE)
;
else if (TREE_CODE (type) == ERROR_MARK)
;
else if (real_lvalue_p (arg))
type = build_reference_type (lvalue_type (arg));
else if (IS_AGGR_TYPE (type))

View File

@ -1,5 +1,8 @@
2003-07-02 Nathan Sidwell <nathan@codesourcery.com>
PR c++/10219
* g++.dg/template/error1.C: New.
PR c++/9779
* g++.dg/template/dependent-expr1.C: New.

View File

@ -0,0 +1,13 @@
// { dg-do compile }
// Copyright (C) 2003 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 30 Jun 2003 <nathan@codesourcery.com>
// PR c++ 10219. ICE
template <class T> void make_pair(T x);
void foo(){
struct fps_chan_ID fps; // { dg-error "incomplete" "" }
make_pair(fps); // { dg-error "no matching function" "" }
}