[all-commits] [llvm/llvm-project] 54f14d: [FunctionAttrs] Add test for incorrect predicate i...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 54f14d96bb275a129321f9377987efcb43d773fa
      https://github.com/llvm/llvm-project/commit/54f14d96bb275a129321f9377987efcb43d773fa
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-02-20 (Thu, 20 Feb 2025)

  Changed paths:
    M llvm/test/Transforms/FunctionAttrs/nocapture.ll

  Log Message:
  -----------
  [FunctionAttrs] Add test for incorrect predicate in capture analysis (NFC)


  Commit: 6361a8a1b763d6915636eb8cfaf64f2d8fe60a03
      https://github.com/llvm/llvm-project/commit/6361a8a1b763d6915636eb8cfaf64f2d8fe60a03
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-02-20 (Thu, 20 Feb 2025)

  Changed paths:
    M llvm/lib/Analysis/CaptureTracking.cpp
    M llvm/test/Transforms/FunctionAttrs/nocapture.ll

  Log Message:
  -----------
  [CaptureTracking] Check for equality predicate for null comparisons

The logic here is not valid for non-equality comparisons. E.g.
using slt will leak the sign bit, regardless of whether the
pointer is dereferenceable.

This fix is split out from https://github.com/llvm/llvm-project/pull/125880.


Compare: https://github.com/llvm/llvm-project/compare/458b1e9d2c61...6361a8a1b763

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