llvm-project

1
// RUN: %clang_cc1 -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) { }
49