objc-act.c (objc_comptypes): Treat comparisons between 'Class' and '<class> *' as...

[gcc/ChangeLog]
2004-03-24  Ziemowit Laski  <zlaski@apple.com>

        * objc/objc-act.c (objc_comptypes): Treat comparisons
        between 'Class' and '<class> *' as explicitly invalid.

From-SVN: r79928

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 74128018385e399edcef8f26123ce3add88edc0a..04430b31c034b89d269335107f7974b22279594a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-03-24  Ziemowit Laski  <zlaski@apple.com>
+
+       * objc/objc-act.c (objc_comptypes): Treat comparisons
+       between 'Class' and '<class> *' as explicitly invalid.
+
 2004-03-24  David Edelsohn  <edelsohn@gnu.org>
 
        * doc/invoke.texi (-frename-registers: Add enabled at -O3.

diff --git a/gcc/objc/objc-act.c b/gcc/objc/objc-act.c
index 89abaf4c19856c285c54f817d3611fdec324fe6b..22696cb519ea35c8ac76fcd50cf510c45f2f8dac 100644 (file)
--- a/gcc/objc/objc-act.c
+++ b/gcc/objc/objc-act.c
@@ -904,6 +904,11 @@ objc_comptypes (tree lhs, tree rhs, int reflexive)
               && OBJC_TYPE_NAME (rhs) == objc_object_id))
     return 1;
 
+  /* `Class' != `<class> *' && `<class> *' != `Class'!  */
+  else if ((OBJC_TYPE_NAME (lhs) == objc_class_id && TYPED_OBJECT (rhs))
+          || (OBJC_TYPE_NAME (rhs) == objc_class_id && TYPED_OBJECT (lhs)))
+    return 0;
+
   /* `<class> *' = `<class> *' */
 
   else if (TYPED_OBJECT (lhs) && TYPED_OBJECT (rhs))