commit de93967e1b89a5191335a7a95d39c3e090bfa0bf
author Fariborz Jahanian <fjahanian@apple.com> Fri Jan 16 19:58:32 2009 +0000
committer Fariborz Jahanian <fjahanian@apple.com> Fri Jan 16 19:58:32 2009 +0000
tree 840d890d9df00d8eab00a8585109dd3aec2788a9
parent ca3813de5eacdbbe6a124b4768e1daa4bb72bcba

Don't ICE on user redeclaration of objc's built-in types.
Issue diagnostics instead if types do not match.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62349 91177308-0d34-0410-b5e6-96231b3b80d8

lib/AST/ASTContext.cpp

diff --git a/lib/AST/ASTContext.cpp b/lib/AST/ASTContext.cpp
index fe868d0..8e7410c 100644
--- a/lib/AST/ASTContext.cpp
+++ b/lib/AST/ASTContext.cpp
@@ -2012,9 +2012,13 @@
 
   // typedef struct objc_object *id;
   const PointerType *ptr = TD->getUnderlyingType()->getAsPointerType();
-  assert(ptr && "'id' incorrectly typed");
+  // User error - caller will issue diagnostics.
+  if (!ptr)
+    return;
   const RecordType *rec = ptr->getPointeeType()->getAsStructureType();
-  assert(rec && "'id' incorrectly typed");
+  // User error - caller will issue diagnostics.
+  if (!rec)
+    return;
   IdStructType = rec;
 }
 
@@ -2024,9 +2028,11 @@
 
   // typedef struct objc_selector *SEL;
   const PointerType *ptr = TD->getUnderlyingType()->getAsPointerType();
-  assert(ptr && "'SEL' incorrectly typed");
+  if (!ptr)
+    return;
   const RecordType *rec = ptr->getPointeeType()->getAsStructureType();
-  assert(rec && "'SEL' incorrectly typed");
+  if (!rec)
+    return;
   SelStructType = rec;
 }
 

lib/Sema/SemaDecl.cpp

diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp
index 1d6b659..cfd33f6 100644
--- a/lib/Sema/SemaDecl.cpp
+++ b/lib/Sema/SemaDecl.cpp
@@ -358,6 +358,7 @@
 /// situation, merging decls or emitting diagnostics as appropriate.
 ///
 TypedefDecl *Sema::MergeTypeDefDecl(TypedefDecl *New, Decl *OldD) {
+  bool objc_types = false;
   // Allow multiple definitions for ObjC built-in typedefs.
   // FIXME: Verify the underlying types are equivalent!
   if (getLangOptions().ObjC1) {
@@ -368,21 +369,25 @@
       if (!TypeID->isStr("id"))
         break;
       Context.setObjCIdType(New);
-      return New;
+      objc_types = true;
+      break;
     case 5:
       if (!TypeID->isStr("Class"))
         break;
       Context.setObjCClassType(New);
+      objc_types = true;
       return New;
     case 3:
       if (!TypeID->isStr("SEL"))
         break;
       Context.setObjCSelType(New);
+      objc_types = true;
       return New;
     case 8:
       if (!TypeID->isStr("Protocol"))
         break;
       Context.setObjCProtoType(New->getUnderlyingType());
+      objc_types = true;
       return New;
     }
     // Fall through - the typedef name was not a builtin type.
@@ -392,7 +397,8 @@
   if (!Old) {
     Diag(New->getLocation(), diag::err_redefinition_different_kind)
       << New->getDeclName();
-    Diag(OldD->getLocation(), diag::note_previous_definition);
+    if (!objc_types)
+      Diag(OldD->getLocation(), diag::note_previous_definition);
     return New;
   }
   
@@ -403,10 +409,11 @@
       Context.getCanonicalType(New->getUnderlyingType())) {
     Diag(New->getLocation(), diag::err_redefinition_different_typedef)
       << New->getUnderlyingType() << Old->getUnderlyingType();
-    Diag(Old->getLocation(), diag::note_previous_definition);
+    if (!objc_types)
+      Diag(Old->getLocation(), diag::note_previous_definition);
     return New;
   }
-  
+  if (objc_types) return New;
   if (getLangOptions().Microsoft) return New;
 
   // C++ [dcl.typedef]p2:

test/SemaObjC/id-1.m

diff --git a/test/SemaObjC/id-1.m b/test/SemaObjC/id-1.m
new file mode 100644
index 0000000..758f101
--- /dev/null
+++ b/test/SemaObjC/id-1.m
@@ -0,0 +1,6 @@
+// RUN: clang -fsyntax-only -verify %s
+/* Test attempt to redefine 'id' in an incompatible fashion.  */
+
+typedef int id;   // expected-error {{typedef redefinition with different types}}
+
+id b;