test/SemaObjC/conditional-expr.m

   1 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic %s
   2 @protocol NSObject
   3 @end
   4
   5 @protocol DTOutputStreams <NSObject>
   6 @end
   7
   8 @interface DTFilterOutputStream <DTOutputStreams>
   9 - nextOutputStream;
  10 @end
  11
  12 @implementation DTFilterOutputStream
  13 - (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream {
  14   id <DTOutputStreams> nextOutputStream = [self nextOutputStream];
  15   self = nextOutputStream;
  16   return nextOutputStream ? nextOutputStream : self;
  17 }
  18 - nextOutputStream {
  19   return self;
  20 }
  21 @end
  22
  23 @interface DTFilterOutputStream2
  24 - nextOutputStream; // expected-note {{{{method definition for 'nextOutputStream' not found}}
  25 @end
  26
  27 @implementation DTFilterOutputStream2 // expected-warning {{incomplete implementation}}
  28 - (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream {
  29   id <DTOutputStreams> nextOutputStream = [self nextOutputStream];
  30   self = nextOutputStream; // expected-warning {{assigning to 'DTFilterOutputStream2 *' from incompatible type 'id<DTOutputStreams>'}}
  31   return nextOutputStream ? nextOutputStream : self; // expected-warning {{incompatible operand types ('id<DTOutputStreams>' and 'DTFilterOutputStream2 *')}}
  32 }
  33 @end
  34
  35 // No @interface declaration for DTFilterOutputStream3
  36 @implementation DTFilterOutputStream3 // expected-warning {{cannot find interface declaration for 'DTFilterOutputStream3'}}
  37 - (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream {
  38   id <DTOutputStreams> nextOutputStream = [self nextOutputStream]; // expected-warning {{method '-nextOutputStream' not found (return type defaults to 'id')}}
  39   self = nextOutputStream; // expected-warning {{assigning to 'DTFilterOutputStream3 *' from incompatible type 'id<DTOutputStreams>'}}
  40   return nextOutputStream ? nextOutputStream : self; // expected-warning {{incompatible operand types ('id<DTOutputStreams>' and 'DTFilterOutputStream3 *')}}
  41 }
  42 @end
  43
  44 //
  45
  46 @protocol P0
  47 @property int intProp;
  48 @end
  49 @protocol P1
  50 @end
  51 @protocol P2
  52 @end
  53
  54 @interface A <P0>
  55 @end
  56
  57 @interface B : A
  58 @end
  59
  60 @interface C
  61 @end
  62
  63 @interface D
  64 @end
  65
  66 void f0(id<P0> x) {
  67   x.intProp = 1;
  68 }
  69
  70 void f1(int cond, id<P0> x, id<P0> y) {
  71   (cond ? x : y).intProp = 1;
  72 }
  73
  74 void f2(int cond, id<P0> x, A *y) {
  75   (cond ? x : y).intProp = 1;
  76 }
  77
  78 void f3(int cond, id<P0> x, B *y) {
  79   (cond ? x : y).intProp = 1;
  80 }
  81
  82 void f4(int cond, id x, B *y) {
  83   (cond ? x : y).intProp = 1; // expected-error {{property 'intProp' not found on object of type 'id'}}
  84 }
  85
  86 void f5(int cond, id<P0> x, C *y) {
  87   (cond ? x : y).intProp = 1; // expected-warning {{incompatible operand types ('id<P0>' and 'C *')}} expected-error {{property 'intProp' not found on object of type 'id'}}
  88 }
  89
  90 void f6(int cond, C *x, D *y) {
  91   (cond ? x : y).intProp = 1; // expected-warning {{incompatible operand types}}, expected-error {{property 'intProp' not found on object of type 'id'}}
  92 }
  93
  94 id f7(int a, id<P0> x, A* p) {
  95   return a ? x : p;
  96 }
  97
  98 void f8(int a, A<P0> *x, A *y) {
  99   [ (a ? x : y ) intProp ];
 100 }
 101
 102 void f9(int a, A<P0> *x, A<P1> *y) {
 103   id l0 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')'}}
 104   A<P0> *l1 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}}
 105   A<P1> *l2 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}}
 106   [ (a ? x : y ) intProp ]; // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}}
 107 }
 108
 109 void f10(int a, id<P0> x, id y) {
 110   [ (a ? x : y ) intProp ];
 111 }
 112
 113 void f11(int a, id<P0> x, id<P1> y) {
 114   [ (a ? x : y ) intProp ]; // expected-warning {{incompatible operand types ('id<P0>' and 'id<P1>')}}
 115 }
 116
 117 void f12(int a, A<P0> *x, A<P1> *y) {
 118   A<P1>* l0 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}}
 119 }