[all-commits] [llvm/llvm-project] 8840da: Reapply [Verifier] Sanity check alloca size agains...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8840da2db237cd714d975c199d5992945d2b71e9
      https://github.com/llvm/llvm-project/commit/8840da2db237cd714d975c199d5992945d2b71e9
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-10-09 (Mon, 09 Oct 2023)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/CodeGen/ARM/stack-frame-layout-remarks.ll
    M llvm/test/CodeGen/BPF/warn-stack.ll
    A llvm/test/CodeGen/X86/stack-frame-layout-remarks-32.ll
    A llvm/test/CodeGen/X86/stack-frame-layout-remarks-64.ll
    R llvm/test/CodeGen/X86/stack-frame-layout-remarks.ll
    R llvm/test/DebugInfo/Generic/PR20038.ll
    M llvm/test/DebugInfo/Generic/discriminated-union.ll
    R llvm/test/DebugInfo/Generic/dwarf-public-names.ll
    R llvm/test/DebugInfo/Generic/member-order.ll
    R llvm/test/DebugInfo/Generic/tu-composite.ll
    M llvm/test/DebugInfo/Generic/univariant-discriminated-union.ll
    A llvm/test/DebugInfo/X86/PR20038.ll
    M llvm/test/DebugInfo/X86/fi-piece.ll
    A llvm/test/DebugInfo/X86/member-order.ll
    A llvm/test/DebugInfo/X86/tu-composite.ll
    A llvm/test/DebugInfo/invalid-sizes.ll
    M llvm/test/Linker/type-unique-odr-a.ll
    M llvm/test/Linker/type-unique-odr-b.ll
    M llvm/test/Linker/type-unique-simple2-a.ll
    M llvm/test/Linker/type-unique-simple2-b.ll
    M llvm/test/Transforms/InstCombine/dbg-scalable-store-fixed-frag.ll
    M llvm/test/Transforms/InstCombine/dbg-simplify-alloca-size.ll
    M llvm/test/Transforms/Util/dbg-user-of-aext.ll

  Log Message:
  -----------
  Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size

Reapply now that generation of incorrect debuginfo for FnDef
in rustc has been fixed.

-----

Add a check that the DILocalVariable fragment size in dbg.declare
does not exceed the size of the alloca.

This would have caught the invalid debuginfo regenerated by rustc
in https://github.com/llvm/llvm-project/issues/64149.

Differential Revision: https://reviews.llvm.org/D158743