diff options
| author | Douglas Gregor <dgregor@apple.com> | 2011-12-01 01:37:36 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2011-12-01 01:37:36 +0000 |
| commit | f1d1ca5b2b40e66d927c2abd16d8baa21af6911f (patch) | |
| tree | 76b7e90b42e7d5ce7e01943ce85c7a9d9dbd69f8 /test | |
| parent | f8d34ed0d0933350323d9f7a8521011d73dc98d5 (diff) | |
When sending a message to a receiver that has "unknown any" type,
force the unknown any type to "id" so that the message send can be
completed without requiring a case. Fixes <rdar://problem/10506646>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145552 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/SemaObjC/unknown-anytype.m | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/SemaObjC/unknown-anytype.m b/test/SemaObjC/unknown-anytype.m new file mode 100644 index 0000000000..48eb91ae23 --- /dev/null +++ b/test/SemaObjC/unknown-anytype.m @@ -0,0 +1,24 @@ +// RUN: %clang_cc1 -funknown-anytype -fsyntax-only -fdebugger-support -verify %s + +extern __unknown_anytype test0; +extern __unknown_anytype test1(); + +@interface A +- (int*)getIntPtr; +- (double*)getSomePtr; +@end + +@interface B +- (float*)getFloatPtr; +- (short*)getSomePtr; +@end + +void test_unknown_anytype_receiver() { + int *ip = [test0 getIntPtr]; + float *fp = [test1() getFloatPtr]; + double *dp = [test1() getSomePtr]; // okay: picks first method found + [[test0 unknownMethod] otherUnknownMethod]; // expected-error{{no known method '-otherUnknownMethod'; cast the message send to the method's return type}} + (void)(int)[[test0 unknownMethod] otherUnknownMethod];; + [[test1() unknownMethod] otherUnknownMethod]; // expected-error{{no known method '-otherUnknownMethod'; cast the message send to the method's return type}} + (void)(id)[[test1() unknownMethod] otherUnknownMethod]; +} |