[all-commits] [llvm/llvm-project] abd97d: [CaptureTracking] Take non-willreturn calls into a...

[Nikita Popov via All-commits]

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

  Changed paths:
    M llvm/lib/Analysis/CaptureTracking.cpp
    M llvm/test/Transforms/Attributor/nocapture-1.ll
    M llvm/test/Transforms/FunctionAttrs/nocapture.ll
    M llvm/test/Transforms/FunctionAttrs/nonnull.ll
    M llvm/test/Transforms/FunctionAttrs/out-of-bounds-iterator-bug.ll

  Log Message:
  -----------
  [CaptureTracking] Take non-willreturn calls into account

We can leak one bit of information about the address by either
diverging or not.

Part of https://github.com/llvm/llvm-project/issues/129090.



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