gcc/testsuite/obj-c++.dg/comp-types-5.mm

   1 /* Test errors for assignments and comparisons between ObjC and C++ types.  */
   2 /* Author: Nicola Pero <nicola@brainstorm.co.uk>.  */
   3 /* { dg-do compile } */
   4 // { dg-additional-options "-Wno-objc-root-class" }
   5
   6 #include <objc/objc.h>
   7
   8 /* The NeXT runtime headers do not define NULL.  */
   9 #ifndef NULL
  10 #define NULL ((void *)0)
  11 #endif
  12
  13 @protocol MyProtocol
  14 - (void) method;
  15 @end
  16
  17 @interface MyClass
  18 @end
  19
  20 int main()
  21 {
  22   id obj = nil;
  23   id <MyProtocol> obj_p = nil;
  24   MyClass *obj_c = nil;
  25   Class obj_C = Nil;
  26
  27   int i = 0;
  28   int *j = (int *)NULL;
  29
  30   /* These should all generate warnings.  */
  31
  32   obj = i; /* { dg-error "invalid conversion" } */
  33   obj = j; /* { dg-error "cannot convert" } */
  34
  35   obj_p = i; /* { dg-error "invalid conversion" } */
  36   obj_p = j; /* { dg-error "cannot convert" } */
  37
  38   obj_c = i; /* { dg-error "invalid conversion" } */
  39   obj_c = j; /* { dg-error "cannot convert" } */
  40
  41   obj_C = i; /* { dg-error "invalid conversion" } */
  42   obj_C = j; /* { dg-error "cannot convert" } */
  43
  44   i = obj;   /* { dg-error "invalid conversion" } */
  45   i = obj_p; /* { dg-error "invalid conversion" } */
  46   i = obj_c; /* { dg-error "invalid conversion" } */
  47   i = obj_C; /* { dg-error "invalid conversion" } */
  48
  49   j = obj;   /* { dg-error "cannot convert" } */
  50   j = obj_p; /* { dg-error "cannot convert" } */
  51   j = obj_c; /* { dg-error "cannot convert" } */
  52   j = obj_C; /* { dg-error "cannot convert" } */
  53
  54   if (obj == i) ; /* { dg-error "comparison between pointer and integer" } */
  55   if (i == obj) ; /* { dg-error "comparison between pointer and integer" } */
  56   if (obj == j) ; /* { dg-error "lacks a cast" } */
  57   if (j == obj) ; /* { dg-error "lacks a cast" } */
  58
  59   if (obj_c == i) ; /*{ dg-error "comparison between pointer and integer" }*/
  60   if (i == obj_c) ; /*{ dg-error "comparison between pointer and integer" }*/
  61   if (obj_c == j) ; /* { dg-error "lacks a cast" } */
  62   if (j == obj_c) ; /* { dg-error "lacks a cast" } */
  63
  64   if (obj_p == i) ; /*{ dg-error "comparison between pointer and integer" }*/
  65   if (i == obj_p) ; /*{ dg-error "comparison between pointer and integer" }*/
  66   if (obj_p == j) ; /* { dg-error "lacks a cast" } */
  67   if (j == obj_p) ; /* { dg-error "lacks a cast" } */
  68
  69   if (obj_C == i) ; /*{ dg-error "comparison between pointer and integer" }*/
  70   if (i == obj_C) ; /*{ dg-error "comparison between pointer and integer" }*/
  71   if (obj_C == j) ; /* { dg-error "lacks a cast" } */
  72   if (j == obj_C) ; /* { dg-error "lacks a cast" } */
  73
  74   return 0;
  75 }