|
150
|
1 // RUN: %clang_cc1 -S -emit-llvm -debug-info-kind=limited %s -o - | FileCheck %s
|
|
|
2
|
|
|
3 // Checks debug info for properties from class extensions for a few cases.
|
|
|
4
|
|
|
5
|
|
|
6 // Readonly property in interface made readwrite in a category, with @impl
|
|
|
7 // The interesting bit is that when the ivar debug info is generated, the corresponding
|
|
|
8 // property is looked up and also gets debug info. If the debug info from the interface's
|
|
|
9 // declaration and from the ivar doesn't match, this will end up with two DIObjCProperty
|
|
|
10 // entries which would be bad.
|
|
|
11 @interface FooROWithImpl
|
|
|
12 // CHECK-NOT: !DIObjCProperty(name: "evolvingpropwithimpl"{{.*}}line: [[@LINE+1]]
|
|
|
13 @property (readonly) int evolvingpropwithimpl;
|
|
|
14 @end
|
|
|
15 @interface FooROWithImpl ()
|
|
|
16 // CHECK: !DIObjCProperty(name: "evolvingpropwithimpl"{{.*}}line: [[@LINE+1]]
|
|
|
17 @property int evolvingpropwithimpl;
|
|
|
18 @end
|
|
|
19 @implementation FooROWithImpl
|
|
|
20 @synthesize evolvingpropwithimpl = _evolvingpropwithimpl;
|
|
|
21 @end
|
|
|
22
|
|
|
23
|
|
|
24 // Simple property from a class extension:
|
|
|
25 @interface Foo
|
|
|
26 @end
|
|
|
27 @interface Foo()
|
|
|
28 // CHECK: !DIObjCProperty(name: "myprop"{{.*}}line: [[@LINE+1]]
|
|
|
29 @property int myprop;
|
|
|
30 @end
|
|
|
31 // There's intentionally no @implementation for Foo, because that would
|
|
|
32 // generate debug info for the property via the backing ivar.
|
|
|
33
|
|
|
34
|
|
|
35 // Readonly property in interface made readwrite in a category:
|
|
|
36 @interface FooRO
|
|
|
37 // Shouldn't be here but in the class extension below.
|
|
|
38 // CHECK-NOT: !DIObjCProperty(name: "evolvingprop"{{.*}}line: [[@LINE+1]]
|
|
|
39 @property (readonly) int evolvingprop;
|
|
|
40 @end
|
|
|
41 @interface FooRO ()
|
|
|
42 // CHECK: !DIObjCProperty(name: "evolvingprop"{{.*}}line: [[@LINE+1]]
|
|
|
43 @property int evolvingprop;
|
|
|
44 @end
|
|
|
45
|
|
|
46
|
|
|
47 // This references types in this file to force emission of their debug info.
|
|
|
48 void foo(Foo *f, FooRO *g, FooROWithImpl* h) { }
|
