gcc/testsuite/objc.dg/proto-lossage-4.m

   1 /* Test for situations in which protocol conformance information
   2    may be lost while casting.  */
   3 /* Author: Ziemowit Laski <zlaski@apple.com>.  */
   4 /* { dg-do compile } */
   5
   6 /* One-line substitute for objc/objc.h */
   7 typedef struct objc_object { struct objc_class *class_pointer; } *id;
   8
   9 @protocol Proto
  10 - (long)someValue;
  11 @end
  12
  13 @interface Obj
  14 - (long)anotherValue;
  15 @end
  16
  17 long foo(void) {
  18   long receiver = 2;
  19   Obj *objrcvr;
  20   Obj <Proto> *objrcvr2;
  21
  22   receiver += [receiver someValue]; /* { dg-warning "invalid receiver type .long int." } */
  23 /* { dg-warning "Messages without a matching method signature" "" { target *-*-* } 22 } */
  24 /* { dg-warning "will be assumed to return .id. and accept" "" { target *-*-* } 22 } */
  25 /* { dg-warning ".\.\.\.. as arguments" "" { target *-*-* } 22 } */
  26 /* { dg-warning "assignment makes integer from pointer without a cast" "" { target *-*-* } 22 } */
  27
  28   receiver += [receiver anotherValue]; /* { dg-warning "invalid receiver type .long int." } */
  29 /* { dg-warning "assignment makes integer from pointer without a cast" "" { target *-*-* } 28 } */
  30
  31   receiver += [(Obj *)receiver someValue]; /* { dg-warning ".Obj. may not respond to .\\-someValue." } */
  32 /* { dg-warning "assignment makes integer from pointer without a cast" "" { target *-*-* } 31 } */
  33
  34   receiver += [(Obj *)receiver anotherValue];
  35   receiver += [(Obj <Proto> *)receiver someValue];
  36   receiver += [(Obj <Proto> *)receiver anotherValue];
  37   receiver += [objrcvr someValue]; /* { dg-warning ".Obj. may not respond to .\\-someValue." } */
  38 /* { dg-warning "assignment makes integer from pointer without a cast" "" { target *-*-* } 37 } */
  39
  40   receiver += [objrcvr anotherValue];
  41   receiver += [(Obj <Proto> *)objrcvr someValue];
  42   receiver += [(Obj <Proto> *)objrcvr anotherValue];
  43   receiver += [objrcvr2 someValue];
  44   receiver += [objrcvr2 anotherValue];
  45   receiver += [(Obj *)objrcvr2 someValue]; /* { dg-warning ".Obj. may not respond to .\\-someValue." } */
  46 /* { dg-warning "assignment makes integer from pointer without a cast" "" { target *-*-* } 45 } */
  47
  48   receiver += [(Obj *)objrcvr2 anotherValue];
  49
  50   return receiver;
  51 }