clang/test/SemaObjC/super.m

   1 // RUN: %clang_cc1 -fsyntax-only -verify -fblocks %s
   2
   3 void takevoidptr(void*);
   4
   5
   6 @interface Foo
   7 - iMethod;
   8 + cMethod;
   9 @end
  10
  11 @interface A
  12 + superClassMethod;
  13 - (void)instanceMethod;
  14 @end
  15
  16 @interface B : A
  17 - (void)instanceMethod;
  18 + classMethod;
  19 @end
  20
  21 @implementation B
  22
  23 - (void)instanceMethod {
  24   [super iMethod]; // expected-warning{{'A' may not respond to 'iMethod'}}
  25
  26   // Use of super in a block is ok and does codegen to the right thing.
  27   // rdar://7852959
  28   takevoidptr(^{
  29     [super instanceMethod];
  30   });
  31 }
  32
  33 + classMethod {
  34   [super cMethod]; // expected-warning{{method '+cMethod' not found (return type defaults to 'id')}}
  35
  36   id X[] = { [ super superClassMethod] };
  37   id Y[] = {
  38     [ super.superClassMethod iMethod],
  39     super.superClassMethod,
  40     (id)super.superClassMethod  // not a cast of super: rdar://7853261
  41   };
  42   return 0;
  43 }
  44 @end
  45
  46 @interface XX
  47 - m;
  48 @end
  49
  50 void f(id super) {
  51   [super m];
  52 }
  53 void f0(int super) {
  54   [super m]; // expected-warning{{receiver type 'int' is not 'id'}}
  55 }
  56 void f1(id puper) {  // expected-note {{'puper' declared here}}
  57   [super m]; // expected-error{{use of undeclared identifier 'super'}}
  58 }
  59
  60 // radar 7400691
  61 typedef Foo super;
  62
  63 typedef Foo FooTD;
  64
  65 void test() {
  66   [FooTD cMethod];
  67   [super cMethod];
  68 }
  69
  70 struct SomeStruct {
  71   int X;
  72 };
  73
  74 int test2() {
  75   struct SomeStruct super = { 0 };
  76   return super.X;
  77 }
  78
  79 int test3() {
  80   id super = 0;
  81   [(B*)super instanceMethod];
  82   int *s1 = (int*)super;
  83
  84   id X[] = { [ super superClassMethod] };
  85   return 0;
  86 }