blob: 6b794fb02f3b78f2b58d024427e5c3f9b2b01220 [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Anders Carlsson00165a22008-12-19 17:27:57 +00002
3// PR3234
4
5@protocol NSCopying @end
6@interface NSObject @end
7
8void f1(NSObject *o)
9{
10 o.foo; // expected-error{{property 'foo' not found on object of type 'NSObject *'}}
11}
12
13void f2(id<NSCopying> o)
14{
15 o.foo; // expected-error{{property 'foo' not found on object of type 'id<NSCopying>'}}
16}
17
18void f3(id o)
19{
Steve Naroff14108da2009-07-10 23:34:53 +000020 o.foo; // expected-error{{property 'foo' not found on object of type 'id'}}
Anders Carlsson00165a22008-12-19 17:27:57 +000021}
22
Fariborz Jahanian41aadbc2011-02-17 01:26:14 +000023// rdar://8851803
24@class SomeOtherClass; // expected-note {{forward class is declared here}}
25
26@interface MyClass {
27 SomeOtherClass *someOtherObject;
28}
29@end
30
31void foo(MyClass *myObject) {
32 myObject.someOtherObject.someProperty = 0; // expected-error {{property 'someOtherObject' names an object of forward class type in class object 'MyClass *'}}
33}
34