[all-commits] [llvm/llvm-project] ce4a9d: [Attributor] Fix an issue that could potentially c...

[Shilei Tian via All-commits]

  Branch: refs/heads/users/shiltian/out-of-sync
  Home:   https://github.com/llvm/llvm-project
  Commit: ce4a9dddbdcff555637e2c29ed25f13b460e1947
      https://github.com/llvm/llvm-project/commit/ce4a9dddbdcff555637e2c29ed25f13b460e1947
  Author: Shilei Tian <i at tianshilei.me>
  Date:   2024-08-28 (Wed, 28 Aug 2024)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    A llvm/test/CodeGen/AMDGPU/amdgpu-attributor-accesslist-offsetbins-out-of-sync.ll

  Log Message:
  -----------
  [Attributor] Fix an issue that could potentially cause `AccessList` and `OffsetBins` out of  sync

The implementation of `AAPointerInfo::RangeList::set_difference` doesn't
consider the case where two ranges have the same offset but different sizes.
This could causes `AccessList` and `OffsetBins` out of sync because a range has
been already updated in `AccessList` but missing in `ToRemove`.

I do have a reproducer but the reproducer itself is 248kb. `llvm-reduce` can't
further reduce it. Not sure how I can make a smaller reproducer.

Fix SWDEV-479757.



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