/* Check Class <protocol> types *//* Author: David Ayers <d.ayers@inode.at> *//* { dg-do compile } */#include <objc/objc.h>#include <objc/objc-api.h>@protocol MyProto1+(void)doItClass1;-(void)doItInstance1;@end@protocol MyProto2+(void)doItClass2;-(void)doItInstance2;@end@interface MyClass1 <MyProto1>{  Class isa;}@end@implementation MyClass1+(void)doItClass1{}-(void)doItInstance1{}@end@interface MyClass2 : MyClass1 <MyProto2>@end@implementation MyClass2+(void)doItClass2{}-(void)doItInstance2{}@end@interface MyClass3{  Class isa;}@end@interface MyClass4 : MyClass3 <MyProto1>@end/*----------------------------------------*/Class cls = 0;Class <MyProto1> clsP1 = 0;Class <MyProto2> clsP2 = 0;voidtestSimple(void){  [cls doItClass1];  [cls doItInstance1];  [cls doItClass2];  [cls doItInstance2];  [clsP1 doItClass1];  [clsP1 doItInstance1]; /* { dg-warning "instead of" }  */  [clsP1 doItClass2];    /* { dg-warning "not found in protocol" } */  [clsP1 doItInstance2]; /* { dg-warning "not found in protocol" } */  [clsP2 doItClass1];    /* { dg-warning "not found in protocol" } */  [clsP2 doItInstance1]; /* { dg-warning "not found in protocol" } */  [clsP2 doItClass2];  [clsP2 doItInstance2]; /* { dg-warning "instead of" }  */  [MyClass1 doItClass1];  [MyClass1 doItInstance1];  [MyClass1 doItClass2];    /* { dg-warning "may not respond to" } */  [MyClass1 doItInstance2]; /* { dg-warning "may not respond to" } */  [MyClass2 doItClass1];  [MyClass2 doItInstance1];  [MyClass2 doItClass2];  [MyClass2 doItInstance2]; /* { dg-warning "may not respond to" } */  [MyClass3 doItClass1];    /* { dg-warning "may not respond to" } */  [MyClass3 doItInstance1]; /* { dg-warning "may not respond to" } */  [MyClass4 doItClass1];  [MyClass4 doItInstance1]; /* { dg-warning "may not respond to" } */}/*----------------------------------------*//* Protocols declared by categories */@protocol MyProto3+(void)doItClass3;-(void)doItInstance3;@end@protocol MyProto4+(void)doItClass4;-(void)doItInstance4;@end@interface MyClass1 (Category1) <MyProto3>@end@interface MyClass2 (Category2) <MyProto4>@endvoidtestCategory(void){  [cls doItClass3];  [cls doItInstance3];  [cls doItClass4];  [cls doItInstance4];  [MyClass1 doItClass3];  [MyClass1 doItInstance3];  [MyClass1 doItClass4];    /* { dg-warning "may not respond" } */  [MyClass1 doItInstance4]; /* { dg-warning "may not respond" } */  [MyClass2 doItClass3];  [MyClass2 doItInstance3];  [MyClass2 doItClass4];  [MyClass2 doItInstance4]; /* { dg-warning "may not respond" } */}/*----------------------------------------*//* Inherited protocols declared by categories */@protocol MyProto5 <MyProto1>+(void)doItClass5;-(void)doItInstance5;@end@protocol MyProto6 <MyProto2>+(void)doItClass6;-(void)doItInstance6;@end@interface MyClass1 (Category3) <MyProto5>@end@interface MyClass2 (Category4) <MyProto6>@endClass <MyProto5> clsP5 = 0;Class <MyProto6> clsP6 = 0;voidtestCategoryInherited(void){  [cls doItClass5];  [cls doItInstance5];  [cls doItClass6];  [cls doItInstance6];  [clsP5 doItClass1];  [clsP5 doItInstance1]; /* { dg-warning "instead of" }  */  [clsP5 doItClass2];    /* { dg-warning "not found in protocol" } */  [clsP5 doItInstance2]; /* { dg-warning "not found in protocol" } */  [clsP6 doItClass1];    /* { dg-warning "not found in protocol" } */  [clsP6 doItInstance1]; /* { dg-warning "not found in protocol" } */  [clsP6 doItClass2];  [clsP6 doItInstance2]; /* { dg-warning "instead of" }  */  [MyClass1 doItClass5];  [MyClass1 doItInstance5];  [MyClass1 doItClass6];    /* { dg-warning "may not respond" } */  [MyClass1 doItInstance6]; /* { dg-warning "may not respond" } */  [MyClass2 doItClass5];  [MyClass2 doItInstance5];  [MyClass2 doItClass6];  [MyClass2 doItInstance6]; /* { dg-warning "may not respond" } */}/*----------------------------------------*//* Forward declared root protocols */@protocol FwProto;@interface MyClass1 (Forward) <FwProto>@endClass <FwProto> clsP7 = 0;voidtestForwardeDeclared1(void){  [cls doItClass7];         /* { dg-warning "no .\\+doItClass7. method found" } */  [cls doItInstance7];      /* { dg-warning "no .\\+doItInstance7. method found" } */  [clsP7 doItClass7];       /* { dg-warning "not found in protocol" } */  /* { dg-warning "no .\\+doItClass7. method found" "" { target *-*-* } 190 } */  [clsP7 doItInstance7];    /* { dg-warning "not found in protocol" } */  /* { dg-warning "no .\\+doItInstance7. method found" "" { target *-*-* } 192 } */  [MyClass1 doItClass7];    /* { dg-warning "may not respond" } */  [MyClass1 doItInstance7]; /* { dg-warning "may not respond" } */  [MyClass2 doItClass7];    /* { dg-warning "may not respond" } */  [MyClass2 doItInstance7]; /* { dg-warning "may not respond" } */}@protocol FwProto+(void)doItClass7;-(void)doItInstance7;@endvoidtestForwardeDeclared2(void){  [cls doItClass7];  [cls doItInstance7];  [clsP7 doItClass7];      [clsP7 doItInstance7]; /* { dg-warning "instead of" }  */  [MyClass1 doItClass7];  [MyClass1 doItInstance7];  [MyClass2 doItClass7];  [MyClass2 doItInstance7];}/*----------------------------------------*//* Inherited non root protocols */@protocol MyProto8+(void)doItClass8;-(void)doItInstance8;@end@protocol MyProto9 <MyProto8>+(void)doItClass9;-(void)doItInstance9;@end@interface MyClass1 (InheritedNonRoot) <MyProto9>@endClass <MyProto8> clsP8 = 0;Class <MyProto9> clsP9 = 0;voidtestInheritedNonRoot(void){  [cls doItClass8];  [cls doItInstance8];  [cls doItClass9];  [cls doItInstance9];  [clsP8 doItClass8];  [clsP8 doItInstance8]; /* { dg-warning "instead of" }  */  [clsP8 doItClass9];    /* { dg-warning "not found in protocol" } */  [clsP8 doItInstance9]; /* { dg-warning "not found in protocol" } */  [clsP9 doItClass8];  [clsP9 doItInstance8]; /* { dg-warning "instead of" }  */  [clsP9 doItClass9];  [clsP9 doItInstance9]; /* { dg-warning "instead of" }  */  [MyClass1 doItClass8];  [MyClass1 doItInstance8];  [MyClass1 doItClass9];  [MyClass1 doItInstance9];  [MyClass2 doItClass8];  [MyClass2 doItInstance8];  [MyClass2 doItClass9];  [MyClass2 doItInstance9];  }/*----------------------------------------*//* Prototype mismatch  */@protocol MyOtherProto1+(id)doItClass1;-(id)doItInstance1;@end@interface MyOtherClass1 <MyOtherProto1>@endClass <MyOtherProto1> oclsP1;voidtestPrototypeMismatch(void){  id tmp1 = [oclsP1 doItClass1];  id tmp2 = [oclsP1 doItInstance1]; /* { dg-warning "instead of" }  */  [clsP1 doItClass1];  [clsP1 doItInstance1]; /* { dg-warning "instead of" }  */}id obj = nil;id <MyProto1> objP1 = nil;id <MyProto2> objP2 = nil;id <MyProto5> objP5 = nil;int num = 0;void *ptr = 0;MyClass1 *mc1 = nil;voidtestComptypes(void){  { /* id <protocol>, id <protocol>  */    objP1 == objP2;  /* { dg-warning "lacks a cast" } */    objP2 == objP1;  /* { dg-warning "lacks a cast" } */    objP1 == objP5;    objP5 == objP1;  }  { /* id <protocol>, SomeClass *  */    mc1 == objP1;    objP1 == mc1;    mc1 == objP2; /* { dg-warning "lacks a cast" } */    objP2 == mc1; /* { dg-warning "lacks a cast" } */  }  { /* id <protocol>, id  */    obj == objP1;    objP1 == obj;  }  { /* id <protocol>, Class  */    cls == objP1; /* { dg-warning "lacks a cast" } */    objP1 == cls; /* { dg-warning "lacks a cast" } */  }  { /* id <protocol>, non-ObjC  */    num == objP1; /* { dg-warning "between pointer" } */    objP1 == num; /* { dg-warning "between pointer" } */    ptr == objP1;    objP1 == ptr;  }  { /* Class <protocol>, Class <protocol> */    clsP1 == clsP2; /* { dg-warning "lacks a cast" } */    clsP2 == clsP1; /* { dg-warning "lacks a cast" } */    clsP1 == clsP5;    clsP5 == clsP1;  }  { /* Class <protocol>, SomeClass * */    mc1 == clsP1; /* { dg-warning "lacks a cast" } */    clsP1 == mc1; /* { dg-warning "lacks a cast" } */  }  { /* Class <protocol>, id */    obj == clsP1;    clsP1 == obj;  }  { /* Class <protocol>, Class */    cls == clsP1;    clsP1 == cls;  }  { /* Class <protocol>, non-ObjC */    num == clsP1; /* { dg-warning "between pointer" } */    clsP1 == num; /* { dg-warning "between pointer" } */    ptr == clsP1;    clsP1 == ptr;  }  { /* Class <protocol>, id <protocol> */    clsP1 == objP1; /* { dg-warning "lacks a cast" } */    objP1 == clsP1; /* { dg-warning "lacks a cast" } */  }  { /* id <protocol>, id <protocol>  */    objP1 = objP2; /* { dg-warning "does not conform" } */    objP2 = objP1; /* { dg-warning "does not conform" } */    objP1 = objP5;    objP5 = objP1; /* { dg-warning "does not conform" } */  }  { /* id <protocol>, SomeClass *  */    mc1 = objP1;    objP1 = mc1;    mc1 = objP2; /* { dg-warning "does not conform" } */    objP2 = mc1; /* { dg-warning "does not implement" } */  }  { /* id <protocol>, id  */    obj = objP1;    objP1 = obj;  }  { /* id <protocol>, Class  */    cls = objP1; /* { dg-warning "distinct Objective\\-C type" } */    objP1 = cls; /* { dg-warning "distinct Objective\\-C type" } */  }  { /* id <protocol>, non-ObjC  */    num = objP1; /* { dg-error "invalid conversion" } */    objP1 = num; /* { dg-error "invalid conversion" } */    ptr = objP1;    objP1 = ptr; /* { dg-error "invalid conversion" } */  }  { /* Class <protocol>, Class <protocol> */    clsP1 = clsP2; /* { dg-warning "does not conform" } */    clsP2 = clsP1; /* { dg-warning "does not conform" } */    clsP1 = clsP5;    clsP5 = clsP1; /* { dg-warning "does not conform" } */  }  { /* Class <protocol>, SomeClass * */    /* These combinations should always elicit a warning.  */    mc1 = clsP1; /* { dg-warning "distinct Objective\\-C type" } */    clsP1 = mc1; /* { dg-warning "distinct Objective\\-C type" } */        mc1 = clsP2; /* { dg-warning "distinct Objective\\-C type" } */    clsP2 = mc1; /* { dg-warning "distinct Objective\\-C type" } */  }  { /* Class <protocol>, id */    obj = clsP1;    clsP1 = obj;  }  { /* Class <protocol>, Class */    cls = clsP1;    clsP1 = cls;  }  { /* Class <protocol>, non-ObjC */    num = clsP1; /* { dg-error "invalid conversion" } */    clsP1 = num; /* { dg-error "invalid conversion" } */    ptr = clsP1;    clsP1 = ptr; /* { dg-error "invalid conversion" } */  }  { /* Class <protocol>, id <protocol> */    clsP1 = objP1; /* { dg-warning "distinct Objective\\-C type" } */    objP1 = clsP1; /* { dg-warning "distinct Objective\\-C type" } */  }}int main (){  testSimple();  testCategory();  testCategoryInherited();  return(0);}/* { dg-warning "Messages without a matching method signature" "" { target *-*-* } 0 } *//* { dg-warning "will be assumed to return .id. and accept" "" { target *-*-* } 0 } *//* { dg-warning ".\.\.\.. as arguments" "" { target *-*-* } 0 } */