diff --git a/clang/lib/CodeGen/CodeGenFunction.cpp b/clang/lib/CodeGen/CodeGenFunction.cpp --- a/clang/lib/CodeGen/CodeGenFunction.cpp +++ b/clang/lib/CodeGen/CodeGenFunction.cpp @@ -1300,8 +1300,14 @@ QualType ResTy = BuildFunctionArgList(GD, Args); // Check if we should generate debug info for this function. - if (FD->hasAttr()) - DebugInfo = nullptr; // disable debug info indefinitely for this function + if (FD->hasAttr()) { + // Clear non-distinct debug info that was possibly attached to + // the function due to a declaration with the nodebug attribute + if (Fn) + Fn->setSubprogram(nullptr); + // Disable debug info indefinitely for this function + DebugInfo = nullptr; + } // The function might not have a body if we're generating thunks for a // function declaration. diff --git a/clang/test/CodeGen/attr-nodebug2.cpp b/clang/test/CodeGen/attr-nodebug2.cpp new file mode 100644 --- /dev/null +++ b/clang/test/CodeGen/attr-nodebug2.cpp @@ -0,0 +1,27 @@ +// RUN: %clang_cc1 -debug-info-kind=limited -debugger-tuning=gdb -dwarf-version=4 -O -disable-llvm-passes -emit-llvm -o - %s | FileCheck %s + +void t1(); + +void use() { t1(); } + +__attribute__((nodebug)) +void t1() +{ + int a = 10; + a++; +} + +// CHECK-LABEL: define{{.*}} void @_Z3usev() +// CHECK-SAME: !dbg +// CHECK-SAME: { +// CHECK: !dbg +// CHECK: } + +// PR50767 Function __attribute__((nodebug)) inconsistency causes crash +// illegal (non-distinct) !dbg metadata was being added to _Z2t1v definition + +// CHECK-LABEL: define{{.*}} void @_Z2t1v() +// CHECK-NOT: !dbg +// CHECK-SAME: { +// CHECK-NOT: !dbg +// CHECK: }