[all-commits] [llvm/llvm-project] fa3d17: [FunctionAttrs] Infer noalias through a null check...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fa3d17075284bf746f4030ad3371fe5c05b06653
      https://github.com/llvm/llvm-project/commit/fa3d17075284bf746f4030ad3371fe5c05b06653
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2026-09-29 (Tue, 29 Sep 2026)

  Changed paths:
    M llvm/lib/Transforms/IPO/FunctionAttrs.cpp
    M llvm/test/Transforms/FunctionAttrs/noalias.ll

  Log Message:
  -----------
  [FunctionAttrs] Infer noalias through a null check. (#226956)

Only comparing against null does not captures provenance and should not
impact whether a pointer is noalias or not.

This enables noalias inference in a number of cases for malloc-like
functions:
https://github.com/dtcxzyw/llvm-opt-benchmark-nightly/pull/1459.

PR: https://github.com/llvm/llvm-project/pull/226956



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