[all-commits] [llvm/llvm-project] c06828: [Lint] Permit aliasing noalias and readnone arguments

[Björn Pettersson via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c0682840877a21960f4c21a97b5f497d4ccc82d5
      https://github.com/llvm/llvm-project/commit/c0682840877a21960f4c21a97b5f497d4ccc82d5
  Author: Bjorn Pettersson <bjorn.a.pettersson at ericsson.com>
  Date:   2023-08-14 (Mon, 14 Aug 2023)

  Changed paths:
    M llvm/lib/Analysis/Lint.cpp
    M llvm/test/Analysis/Lint/noalias-byval.ll
    A llvm/test/Analysis/Lint/noalias-readnone.ll

  Log Message:
  -----------
  [Lint] Permit aliasing noalias and readnone arguments

If an argument is readnone we know that it isn't dereferenced. Then
it should be OK if that argument alias with a noalias argument.

Differential Revision: https://reviews.llvm.org/D157737