[all-commits] [llvm/llvm-project] 7afc7d: [Assignment Tracking] Trim assignments for untagge...

[Orlando Cazalet-Hyams via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7afc7db7fc807a4a7ee623db491622698e8edcca
      https://github.com/llvm/llvm-project/commit/7afc7db7fc807a4a7ee623db491622698e8edcca
  Author: Orlando Cazalet-Hyams <orlando.hyams at sony.com>
  Date:   2023-09-15 (Fri, 15 Sep 2023)

  Changed paths:
    M llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp
    A llvm/test/DebugInfo/assignment-tracking/X86/untagged-store-assignment-extra-checks.ll
    A llvm/test/DebugInfo/assignment-tracking/X86/untagged-store-assignment-outside-variable.ll

  Log Message:
  -----------
  [Assignment Tracking] Trim assignments for untagged out of bounds stores (#66095)

Fixes #65004 by trimming assignments from out of bounds stores (out of bounds
of either the base variable or the backing alloca). If there's no overlap at
all or the out of bounds access starts at a negative offset from the alloca,
the assignment is simply skipped.