[all-commits] [llvm/llvm-project] 356d7e: [IR] Handle nofree noalias in canBeFreed() (#200194)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 356d7e6bf429a7ff3ae798bb994631ef33891a44
      https://github.com/llvm/llvm-project/commit/356d7e6bf429a7ff3ae798bb994631ef33891a44
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-06-01 (Mon, 01 Jun 2026)

  Changed paths:
    M llvm/lib/IR/Value.cpp
    M llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll

  Log Message:
  -----------
  [IR] Handle nofree noalias in canBeFreed() (#200194)

Based on the argument nofree semantics specified in
https://github.com/llvm/llvm-project/pull/195658, we can conclude that
an argument with both nofree and noalias cannot be freed.

This also handles the case of readonly + noalias, to be consistent with
the logic for functions (and because we had a FIXME for it...)



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