* cpplib.c (cpp_register_pragma_space): Just return if the

	namespace is already registered.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@35798 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 3 insertions, 4 deletions

diff --git a/gcc/cpplib.c b/gcc/cpplib.c
index 5dd1697e7c5..274ca4a3515 100644
--- a/gcc/cpplib.c
+++ b/gcc/cpplib.c
@@ -689,10 +689,9 @@ cpp_register_pragma_space (pfile, space)
   while (p)
     {
       if (p->isnspace && p->len == len && !memcmp (p->name, space, len))
-	{
-	  cpp_ice (pfile, "#pragma namespace %s already registered", space);
-	  return;
-	}
+	/* Multiple different callers are allowed to register the same
+	   namespace.  */
+	return;
       p = p->next;
     }