clang/test/CodeGenObjC/debug-info-property-class-extension.m

   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) { }