| // RUN: %clang_cc1 -Wno-error=return-type -x c -debug-info-kind=line-tables-only -emit-llvm -fsanitize=returns-nonnull-attribute -o - %s | FileCheck %s | |
| // The UBSAN function call in the epilogue needs to have a debug location. | |
| __attribute__((returns_nonnull)) void *allocate(void) {} | |
| // CHECK: define {{.*}}nonnull ptr @allocate(){{.*}} !dbg | |
| // CHECK: call void @__ubsan_handle_nonnull_return_v1_abort | |
| // CHECK-SAME: !dbg ![[LOC:[0-9]+]] | |
| // CHECK: ret ptr | |
| // CHECK-SAME: !dbg ![[LOC]] |