[all-commits] [llvm/llvm-project] a9d93e: [DLCov] Implement DebugLoc coverage tracking (#107...

[Stephen Tozer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a9d93ecf1f8d2cfe3f77851e0df179b386cff353
      https://github.com/llvm/llvm-project/commit/a9d93ecf1f8d2cfe3f77851e0df179b386cff353
  Author: Stephen Tozer <stephen.tozer at sony.com>
  Date:   2025-04-24 (Thu, 24 Apr 2025)

  Changed paths:
    M clang/lib/CodeGen/BackendUtil.cpp
    M llvm/docs/HowToUpdateDebugInfo.rst
    M llvm/include/llvm/IR/DebugLoc.h
    M llvm/lib/CodeGen/AsmPrinter/DwarfDebug.cpp
    M llvm/lib/IR/DebugInfo.cpp
    M llvm/lib/IR/DebugLoc.cpp
    M llvm/lib/Transforms/Utils/Debugify.cpp

  Log Message:
  -----------
  [DLCov] Implement DebugLoc coverage tracking (#107279)

This is part of a series of patches that tries to improve DILocation bug
detection in Debugify; see the review for more details. This is the patch
that adds the main feature, adding a set of `DebugLoc::get<Kind>`
functions that can be used for instructions with intentionally empty
DebugLocs to prevent Debugify from treating them as bugs, removing the
currently-pervasive false positives and allowing us to use Debugify (in
its original DI preservation mode) to reliably detect existing bugs and
regressions. This patch does not add uses of these functions, except for
once in Clang before optimizations, and in
`Instruction::dropLocation()`, since that is an obvious case that
immediately removes a set of false positives.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications