[all-commits] [llvm/llvm-project] ecd4c0: [Verifier] Require that dbg.declare variable is a ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ecd4c0857b69e2c3f592d805bafde8e9f6a19005
      https://github.com/llvm/llvm-project/commit/ecd4c0857b69e2c3f592d805bafde8e9f6a19005
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-04-04 (Fri, 04 Apr 2025)

  Changed paths:
    M llvm/docs/SourceLevelDebugging.rst
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/CodeGen/AArch64/fast-isel-dbg.ll
    M llvm/test/CodeGen/AArch64/selectiondag-order.ll
    M llvm/test/CodeGen/MIR/X86/diexpr-win32.mir
    M llvm/test/CodeGen/X86/selectiondag-order.ll
    M llvm/test/DebugInfo/ARM/lowerbdgdeclare_vla.ll
    M llvm/test/Transforms/Coroutines/coro-debug.ll
    M llvm/test/Transforms/LoopVectorize/discriminator.ll

  Log Message:
  -----------
  [Verifier] Require that dbg.declare variable is a ptr (#134355)

As far as I understand, the first operand of dbg_declare should be a
pointer (inside a metadata wrapper). However, using a non-pointer is
currently not rejected, and we have some tests that use non-pointer
types. As far as I can tell, these tests either meant to use dbg_value
or are just incorrect hand-crafted tests.

Ran into this while trying to `fix` #134008.



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