clang/test/SemaObjC/conditional-expr-3.m

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 @protocol P0
   4 @end
   5 @protocol P1
   6 @end
   7 @protocol P2
   8 @end
   9
  10 @interface A <P0>
  11 @end
  12
  13 @interface B : A
  14 @end
  15
  16 void bar(id x);
  17 void barP0(id<P0> x);
  18 void barP1(id<P1> x);
  19 void barP2(id<P2> x);
  20
  21 void f0(A *a) {
  22   id l = a;
  23 }
  24
  25 void f1(id x, A *a) {
  26   id<P0> l = a;
  27 }
  28
  29 void f2(id<P1> x) {
  30   id<P0> l = x; // expected-warning {{initializing 'id<P0>' with an expression of incompatible type 'id<P1>'}}
  31 }
  32
  33 void f3(A *a) {
  34   id<P1> l = a; // expected-warning {{initializing 'id<P1>' with an expression of incompatible type 'A *'}}
  35 }
  36
  37 void f4(int cond, id x, A *a) {
  38   bar(cond ? x : a);
  39 }
  40
  41 void f5(int cond, A *a, B *b) {
  42   bar(cond ? a : b);
  43 }
  44
  45 void f6(int cond, id x, A *a) {
  46   bar(cond ? (id<P0, P1>) x : a);
  47 }
  48
  49 void f7(int cond, id x, A *a) {
  50   bar(cond ? a : (id<P0, P1>) x);
  51 }
  52
  53 void f8(int cond, id<P0,P1> x0, id<P0,P2> x1) {
  54   barP0(cond ? x0 : x1); // expected-warning {{incompatible operand types ('id<P0,P1>' and 'id<P0,P2>')}}
  55 }
  56
  57 void f9(int cond, id<P0,P1> x0, id<P0,P2> x1) {
  58   barP1(cond ? x0 : x1); // expected-warning {{incompatible operand types ('id<P0,P1>' and 'id<P0,P2>')}}
  59 }
  60
  61 void f10(int cond, id<P0,P1> x0, id<P0,P2> x1) {
  62   barP2(cond ? x0 : x1); // expected-warning {{incompatible operand types ('id<P0,P1>' and 'id<P0,P2>')}}
  63 }
  64
  65 int f11(int cond, A* a, B* b) {
  66   return (cond? b : a)->x; // expected-error{{'A' does not have a member named 'x'}}
  67 }