From: Jan Hubicka <hubicka@ucw.cz>
Date: Fri, 27 Mar 2015 15:19:35 +0000 (+0100)
Subject: re PR target/65531 (ICE: symtab_node::verify failed: Two symbols with same comdat_gro... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e85fbaadd3fdbc8127ec13b64fa70e59aef7665;p=gcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0f0a6f5a83e..e846805ed98 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+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
diff --git a/gcc/symtab.c b/gcc/symtab.c
index 88e168bd193..84a0981fab0 100644
--- a/gcc/symtab.c
+++ b/gcc/symtab.c
@@ -1130,15 +1130,20 @@ 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");
 		}
+	    }
 	}
     }
 }