re PR c++/12832 (ICE: tree check: expected class 'd', have 'x' (error_mark) in…

re PR c++/12832 (ICE: tree check: expected class 'd', have 'x' (error_mark) in location_of, at cp/error.c:1962)

	PR c++/12832
	* name-lookup.c (supplement_binding): Gracefully handle names
	used at non-class scope prior declaration.

From-SVN: r73406

gcc/cp/ChangeLog

+2003-11-10  Gabriel Dos Reis  <gdr@integrable-solutions.net>
+
+	PR c++/12832
+	* name-lookup.c (supplement_binding): Gracefully handle names
+	used at non-class scope prior declaration.
+
 2003-11-06  Matt Austern  <austern@apple.com>
 
 	* decl.c (duplicate_decls): copy DECL_VISIBILITY field.

gcc/cp/name-lookup.c

@@ -435,10 +435,13 @@ supplement_binding (cxx_binding *binding, tree decl)
   if (TREE_CODE (decl) == TYPE_DECL && DECL_ARTIFICIAL (decl))
     /* The new name is the type name.  */
     binding->type = decl;
-  else if (!bval)
-    /* This situation arises when push_class_level_binding moves an
-       inherited type-binding out of the way to make room for a new
-       value binding.  */
+  else if (!bval || bval == error_mark_node)
+    /* VALUE is null when push_class_level_binding moves an inherited
+       type-binding out of the way to make room for a new value binding.
+       It is an error_mark_node when DECL's name has been used in a
+       non-class scope prior declaration.  In that case, we should have
+       already issued a diagnostic; for graceful error recovery purpose,
+       pretend this was the intended declaration for that name.  */
     binding->value = decl;
   else if (TREE_CODE (bval) == TYPE_DECL && DECL_ARTIFICIAL (bval))
     {

gcc/testsuite/g++.dg/lookup/used-before-declaration.C

+// Copyroght (C) 2003 Free Software Foundation
+// Origin: PR/12832, Jonathan Wakely <redi@gcc.gnu.org>
+
+void f() { g(); }               // { dg-error "undeclared" "" }
+void g() { }                    // { dg-error "used" "" }