// RUN: dsymutil --linker parallel -f -y %p/../dummy-debug-map.map -oso-prepend-path \
// RUN: %p/../../Inputs/inlined-static-variable -o - -keep-function-for-static | \
// RUN: llvm-dwarfdump - | FileCheck %s --implicit-check-not \
// RUN: "{{DW_AT_low_pc|DW_AT_high_pc|DW_AT_location|DW_TAG|NULL}}" \
// RUN: --check-prefixes=CHECK
// clang -g -c inlined-static-variable.cpp -o 4.o
// The functions removed and not_removed are not in the debug map and are
// considered dead, but they are also inlined into the function foo which is
// in the debug map. Those function-local globals are alive and thus should
// have locations in the debug info even if their functions do not.
inline __attribute__((always_inline)) int removed() {
static int a = 0;
return ++a;
}
__attribute__((always_inline)) int not_removed() {
static int b = 0;
return ++b;
}
int unused() {
static int c = 0;
return ++c;
}
int foo() {
return removed() + not_removed();
}
// CHECK: DW_TAG_compile_unit
// CHECK: DW_AT_name{{.*}}"__artificial_type_unit"
// CHECK: DW_TAG_base_type
// CHECK: DW_AT_name{{.*}}"int"
// CHECK: DW_TAG_subprogram
// CHECK: DW_AT_name{{.*}}"not_removed"
// CHECK: DW_TAG_subprogram
// CHECK: DW_AT_name{{.*}}"removed"
// CHECK: NULL
// CHECK: DW_TAG_compile_unit
// CHECK: DW_AT_low_pc
// CHECK: DW_AT_high_pc
// CHECK: DW_TAG_subprogram
// CHECK: DW_AT_name{{.*}}"removed"
// CHECK-NOT: DW_AT_low_pc
// CHECK-NOT: DW_AT_low_pc
// CHECK: DW_TAG_variable
// CHECK: DW_AT_name{{.*}}"a"
// CHECK: {{.*}}DW_OP_addr
// CHECK: NULL
// CHECK: DW_TAG_base_type
// CHECK: DW_TAG_subprogram
// CHECK: DW_AT_name{{.*}}"not_removed"
// CHECK-NOT: DW_AT_low_pc
// CHECK-NOT: DW_AT_low_pc
// CHECK: DW_TAG_variable
// CHECK: DW_AT_name{{.*}}"b"
// CHECK: {{.*}}DW_OP_addr
// CHECK: NULL
// CHECK: DW_TAG_subprogram
// CHECK: DW_AT_low_pc
// CHECK: DW_AT_high_pc
// CHECK: DW_AT_name ("foo")
// CHECK: DW_TAG_inlined_subroutine
// CHECK: DW_AT_low_pc
// CHECK: DW_AT_high_pc
// CHECK: DW_TAG_inlined_subroutine
// CHECK: DW_AT_low_pc
// CHECK: DW_AT_high_pc
// CHECK: NULL
// CHECK: NULL