re PR target/65531 (ICE: symtab_node::verify failed: Two symbols with same…

re PR target/65531 (ICE: symtab_node::verify failed: Two symbols with same comdat_group are not linked by the same_comdat_group list. with -fcheck-pointer-bounds -mmpx)

	PR target/65531
	* symtab.c (symtab_node::verify_symtab_nodes): Fix verification of
	comdat groups.

From-SVN: r221736

gcc/ChangeLog

 2015-03-27  Jan Hubicka  <hubicka@ucw.cz>
 
+	PR target/65531
+	* symtab.c (symtab_node::verify_symtab_nodes): Fix verification of
+	comdat groups.
+
+2015-03-27  Jan Hubicka  <hubicka@ucw.cz>
+
 	PR ipa/65600
 	* cgraph.c (cgraph_update_edges_for_call_stmt_node): Fix the case
 	of optimized out indirect call.

gcc/symtab.c

@@ -1130,17 +1130,22 @@ symtab_node::verify_symtab_nodes (void)
 						  &existed);
 	  if (!existed)
 	    *entry = node;
-	  else
-	    for (s = (*entry)->same_comdat_group; s != NULL && s != node; s = s->same_comdat_group)
+	  else if (!DECL_EXTERNAL (node->decl))
+	    {
+	      for (s = (*entry)->same_comdat_group; s != NULL && s != node;
+		   s = s->same_comdat_group)
+		;
 	      if (!s || s == *entry)
 		{
-		  error ("Two symbols with same comdat_group are not linked by the same_comdat_group list.");
+		  error ("Two symbols with same comdat_group are not linked by "
+			 "the same_comdat_group list.");
 		  (*entry)->debug ();
 		  node->debug ();
 		  internal_error ("symtab_node::verify failed");
 		}
 	    }
 	}
+    }
 }
 
 /* Make DECL local.  FIXME: We shouldn't need to mess with rtl this early,