[all-commits] [llvm/llvm-project] 183f49: [Verifier] Sanity check alloca size against DILoca...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 183f49c3e0f4a7facf237581f83ae07e7f4544ab
      https://github.com/llvm/llvm-project/commit/183f49c3e0f4a7facf237581f83ae07e7f4544ab
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-08-28 (Mon, 28 Aug 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
    M llvm/test/DebugInfo/X86/fi-piece.ll
    A llvm/test/DebugInfo/invalid-sizes.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:
  -----------
  [Verifier] Sanity check alloca size against DILocalVariable fragment size

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