From ee18782ffc3a93f9da379f652285a29972236f84 Mon Sep 17 00:00:00 2001 From: Ziemowit Laski Date: Fri, 24 Jun 2005 01:03:21 +0000 Subject: [PATCH] proto-lossage-[1-4].mm: New. [gcc/testsuite/ChangeLog] 2005-06-23 Ziemowit Laski * obj-c++.dg/proto-lossage-[1-4].mm: New. From-SVN: r101284 --- gcc/testsuite/ChangeLog | 4 ++ gcc/testsuite/obj-c++.dg/proto-lossage-1.mm | 44 +++++++++++++++++ gcc/testsuite/obj-c++.dg/proto-lossage-2.mm | 20 ++++++++ gcc/testsuite/obj-c++.dg/proto-lossage-3.mm | 25 ++++++++++ gcc/testsuite/obj-c++.dg/proto-lossage-4.mm | 52 +++++++++++++++++++++ 5 files changed, 145 insertions(+) create mode 100644 gcc/testsuite/obj-c++.dg/proto-lossage-1.mm create mode 100644 gcc/testsuite/obj-c++.dg/proto-lossage-2.mm create mode 100644 gcc/testsuite/obj-c++.dg/proto-lossage-3.mm create mode 100644 gcc/testsuite/obj-c++.dg/proto-lossage-4.mm diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4a59413ddf8..3a096e7a5bd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2005-06-23 Ziemowit Laski + + * obj-c++.dg/proto-lossage-[1-4].mm: New. + 2005-06-23 Ziemowit Laski * obj-c++.dg/typedef-alias-1.mm: New. diff --git a/gcc/testsuite/obj-c++.dg/proto-lossage-1.mm b/gcc/testsuite/obj-c++.dg/proto-lossage-1.mm new file mode 100644 index 00000000000..2f7eb986140 --- /dev/null +++ b/gcc/testsuite/obj-c++.dg/proto-lossage-1.mm @@ -0,0 +1,44 @@ +/* Test for situations in which protocol conformance information + may be lost, leading to superfluous warnings. */ +/* Author: Ziemowit Laski . */ +/* { dg-do compile } */ + +/* One-line substitute for objc/objc.h */ +typedef struct objc_object { struct objc_class *class_pointer; } *id; + +@protocol NSObject +- (int)someValue; +@end + +@interface NSObject +@end + +@protocol PlateMethods +- (void)someMethod; +@end + +@interface Foo { + NSObject *plate; + id plate1; + NSObject *plate2; +} +- (id ) getPlate; +- (id ) getPlate1; +- (int) getValue; +@end + +@implementation Foo +- (id ) getPlate { + return plate; /* { dg-bogus "does not implement" } */ +} +- (id ) getPlate1 { + return (id )plate1; /* { dg-bogus "does not conform" } */ +} +- (int) getValue { + int i = [plate1 someValue]; /* { dg-warning ".\\-someValue. not found in protocol\\(s\\)" } */ + + int j = [(id )plate1 someValue]; /* { dg-bogus "not found in protocol" } */ + int k = [(id)plate1 someValue]; /* { dg-bogus "not found in protocol" } */ + return i + j + k; +} +@end diff --git a/gcc/testsuite/obj-c++.dg/proto-lossage-2.mm b/gcc/testsuite/obj-c++.dg/proto-lossage-2.mm new file mode 100644 index 00000000000..b3ab9681f62 --- /dev/null +++ b/gcc/testsuite/obj-c++.dg/proto-lossage-2.mm @@ -0,0 +1,20 @@ +/* Don't forget to look in protocols if a class (and its superclasses) do not + provide a suitable method. */ +/* { dg-do compile } */ + +#include + +@protocol Zot +-(void) zot; +@end + +@interface Foo : Object +@end + +int foo() +{ + Foo *f=nil; + [f zot]; /* There should be no warnings here! */ + return 0; +} + diff --git a/gcc/testsuite/obj-c++.dg/proto-lossage-3.mm b/gcc/testsuite/obj-c++.dg/proto-lossage-3.mm new file mode 100644 index 00000000000..512a59ee6dc --- /dev/null +++ b/gcc/testsuite/obj-c++.dg/proto-lossage-3.mm @@ -0,0 +1,25 @@ +/* Crash due to descriptionFor(Instance|Class)Method applied to + a protocol with no instance/class methods respectively. + Problem report and original fix by richard@brainstorm.co.uk. */ +/* { dg-do run } */ +#include +#include +#include + +@protocol NoInstanceMethods ++ testMethod; +@end + +@protocol NoClassMethods +- testMethod; +@end + +int +main() +{ +[@protocol(NoInstanceMethods) descriptionForInstanceMethod: @selector(name)]; +[@protocol(NoInstanceMethods) descriptionForClassMethod: @selector(name)]; +[@protocol(NoClassMethods) descriptionForInstanceMethod: @selector(name)]; +[@protocol(NoClassMethods) descriptionForClassMethod: @selector(name)]; +return 0; +} diff --git a/gcc/testsuite/obj-c++.dg/proto-lossage-4.mm b/gcc/testsuite/obj-c++.dg/proto-lossage-4.mm new file mode 100644 index 00000000000..a5092a11a62 --- /dev/null +++ b/gcc/testsuite/obj-c++.dg/proto-lossage-4.mm @@ -0,0 +1,52 @@ +/* Test for situations in which protocol conformance information + may be lost while casting. */ +/* Author: Ziemowit Laski . */ +/* { dg-do compile } */ + +/* One-line substitute for objc/objc.h */ +typedef struct objc_object { struct objc_class *class_pointer; } *id; + +@protocol Proto +- (long)someValue; +@end + +@interface Obj +- (long)anotherValue; +@end + +long foo(void) { + long receiver = 2; + Obj *objrcvr; + Obj *objrcvr2; + + /* NB: Since 'receiver' is an invalid ObjC message receiver, the compiler + should warn but then search for methods as if we were messaging 'id'. */ + + receiver += [receiver someValue]; /* { dg-warning "invalid receiver type .long int." } */ + receiver += [receiver anotherValue]; /* { dg-warning "invalid receiver type .long int." } */ + + receiver += [(Obj *)receiver someValue]; /* { dg-warning ".Obj. may not respond to .\\-someValue." } */ +/* { dg-error "invalid conversion" "" { target *-*-* } 28 } */ + + receiver += [(Obj *)receiver anotherValue]; + receiver += [(Obj *)receiver someValue]; + receiver += [(Obj *)receiver anotherValue]; + receiver += [objrcvr someValue]; /* { dg-warning ".Obj. may not respond to .\\-someValue." } */ +/* { dg-error "invalid conversion" "" { target *-*-* } 34 } */ + + receiver += [objrcvr anotherValue]; + receiver += [(Obj *)objrcvr someValue]; + receiver += [(Obj *)objrcvr anotherValue]; + receiver += [objrcvr2 someValue]; + receiver += [objrcvr2 anotherValue]; + receiver += [(Obj *)objrcvr2 someValue]; /* { dg-warning ".Obj. may not respond to .\\-someValue." } */ +/* { dg-warning "invalid conversion" "" { target *-*-* } 42 } */ + + receiver += [(Obj *)objrcvr2 anotherValue]; + + return receiver; +} + +/* { 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 } */ -- 2.30.2