1 /* Compile with: 2 for FILE in `seq 3`; do 3 clang -g -c X86/odr-fwd-declaration2.cpp -DFILE$FILE -o Inputs/odr-fwd-declaration2/$FILE.o 4 done 5 */ 6 7 // RUN: dsymutil -f -oso-prepend-path=%p/../Inputs/odr-fwd-declaration2 -y %p/dummy-debug-map.map -o - | llvm-dwarfdump -v -debug-info - | FileCheck %s 8 9 #ifdef FILE1 10 # 1 "Header.h" 1 11 struct A { 12 struct B; 13 B *bPtr; 14 B &bRef; 15 int B::*bPtrToField; 16 }; 17 # 3 "Source1.cpp" 2 18 void foo() { 19 A *ptr1 = 0; 20 } 21 22 // First we confirm that bPtr, bRef and bPtrToField reference the forward 23 // declaration of the struct B. 24 // 25 // CHECK: DW_TAG_member 26 // CHECK-NOT: {{DW_TAG|NULL}} 27 // CHECK: AT_name{{.*}} "bPtr" 28 // CHECK-NOT: {{DW_TAG|NULL}} 29 // CHECK: AT_type{{.*}}0x{{0*}}[[PTR1:[a-f0-9]*]] 30 // 31 // CHECK: [[STRUCT1:[a-f0-9]*]]:{{.*}}TAG_structure_type 32 // CHECK-NOT: {{DW_TAG|NULL}} 33 // CHECK: AT_name{{.*}} "B" 34 // CHECK-NOT: AT_byte_size 35 // CHECK: DW_AT_declaration 36 // 37 // CHECK: DW_TAG_member 38 // CHECK: AT_name{{.*}} "bRef" 39 // CHECK-NOT: {{DW_TAG|NULL}} 40 // CHECK: AT_type{{.*}}0x{{0*}}[[REF1:[a-f0-9]*]] 41 // 42 // CHECK: TAG_member 43 // CHECK-NOT: {{DW_TAG|NULL}} 44 // CHECK: AT_name{{.*}} "bPtrToField" 45 // CHECK-NOT: {{DW_TAG|NULL}} 46 // CHECK: AT_type{{.*}}0x{{0*}}[[PTRTOMEMBER1:[a-f0-9]*]] 47 // 48 // CHECK: [[PTR1]]:{{.*}}TAG_pointer_type 49 // CHECK-NOT: {{DW_TAG|NULL}} 50 // CHECK: AT_type{{.*}}0x{{0*}}[[STRUCT1]] 51 // 52 // CHECK: [[REF1]]:{{.*}}TAG_reference_type 53 // CHECK-NOT: {{DW_TAG|NULL}} 54 // CHECK: AT_type{{.*}}0x{{0*}}[[STRUCT1]] 55 // 56 // CHECK: [[PTRTOMEMBER1]]:{{.*}}TAG_ptr_to_member_type 57 // CHECK-NOT: {{DW_TAG|NULL}} 58 // CHECK: AT_containing_type{{.*}}0x{{0*}}[[STRUCT1]] 59 60 #elif defined(FILE2) 61 # 1 "Header.h" 1 62 struct A { 63 struct B; 64 B *bPtr; 65 B &bRef; 66 int B::*bPtrToField; 67 }; 68 # 3 "Source2.cpp" 2 69 struct A::B { 70 int x; 71 }; 72 void bar() { 73 A *ptr2 = 0; 74 } 75 76 // Next we confirm that bPtr, bRef and bPtrToField reference the definition of 77 // B, rather than its declaration. 78 // 79 // CHECK: [[STRUCTA:[a-f0-9]*]]:{{.*}}TAG_structure_type 80 // CHECK-NOT: {{DW_TAG|NULL}} 81 // CHECK: AT_name{{.*}} "A" 82 // CHECK-NOT: AT_byte_size 83 // CHECK: DW_AT_byte_size 84 // 85 // CHECK: DW_TAG_member 86 // CHECK-NOT: {{DW_TAG|NULL}} 87 // CHECK: AT_name{{.*}} "bPtr" 88 // CHECK-NOT: {{DW_TAG|NULL}} 89 // CHECK: AT_type{{.*}}0x{{0*}}[[PTR2:[a-f0-9]*]] 90 // 91 // CHECK: [[STRUCT2:[a-f0-9]*]]:{{.*}}TAG_structure_type 92 // CHECK-NOT: {{DW_TAG|NULL}} 93 // CHECK: AT_name{{.*}} "B" 94 // CHECK-NOT: {{DW_TAG|NULL}} 95 // CHECK: DW_AT_byte_size 96 // 97 // CHECK: DW_TAG_member 98 // CHECK: AT_name{{.*}} "bRef" 99 // CHECK-NOT: {{DW_TAG|NULL}} 100 // CHECK: AT_type{{.*}}0x{{0*}}[[REF2:[a-f0-9]*]] 101 // 102 // CHECK: TAG_member 103 // CHECK-NOT: {{DW_TAG|NULL}} 104 // CHECK: AT_name{{.*}} "bPtrToField" 105 // CHECK-NOT: {{DW_TAG|NULL}} 106 // CHECK: AT_type{{.*}}0x{{0*}}[[PTRTOMEMBER2:[a-f0-9]*]] 107 // 108 // CHECK: [[PTR2]]:{{.*}}TAG_pointer_type 109 // CHECK-NOT: {{DW_TAG|NULL}} 110 // CHECK: AT_type{{.*}}0x{{0*}}[[STRUCT2]] 111 // 112 // CHECK: [[REF2]]:{{.*}}TAG_reference_type 113 // CHECK-NOT: {{DW_TAG|NULL}} 114 // CHECK: AT_type{{.*}}0x{{0*}}[[STRUCT2]] 115 // 116 // CHECK: [[PTRTOMEMBER2]]:{{.*}}TAG_ptr_to_member_type 117 // CHECK-NOT: {{DW_TAG|NULL}} 118 // CHECK: AT_containing_type{{.*}}0x{{0*}}[[STRUCT2:[a-f0-9]*]] 119 120 #elif defined(FILE3) 121 # 1 "Header.h" 1 122 struct A { 123 struct B; 124 B *bPtr; 125 B &bRef; 126 int B::*bPtrToField; 127 }; 128 # 3 "Source2.cpp" 2 129 struct A::B { 130 int x; 131 }; 132 void bar() { 133 A *ptr2 = 0; 134 } 135 136 // Finally we confirm that uniquing isn't broken by checking that further 137 // references to 'struct A' point to its now complete definition. 138 // 139 // CHECK: TAG_variable 140 // CHECK-NOT: {{DW_TAG|NULL}} 141 // CHECK: AT_name{{.*}} "ptr2" 142 // CHECK-NOT: {{DW_TAG|NULL}} 143 // CHECK: AT_type{{.*}}0x{{0*}}[[PTR3:[a-f0-9]*]] 144 // 145 // CHECK: [[PTR3]]:{{.*}}TAG_pointer_type 146 // CHECK-NOT: {{DW_TAG|NULL}} 147 // CHECK: AT_type{{.*}}0x{{0*}}[[STRUCTA]] 148 149 #else 150 #error "You must define which file you generate" 151 #endif 152
