[all-commits] [llvm/llvm-project] 665e47: [ObjC][ARC] Fix non-deterministic behavior in Prov...

[Akira Hatanaka via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 665e47777df17db406c698d57b4f3c28d67c432e
      https://github.com/llvm/llvm-project/commit/665e47777df17db406c698d57b4f3c28d67c432e
  Author: Akira Hatanaka <ahatanaka at apple.com>
  Date:   2023-01-04 (Wed, 04 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/ObjCARC/ProvenanceAnalysis.cpp
    M llvm/test/Transforms/ObjCARC/related-check.ll

  Log Message:
  -----------
  [ObjC][ARC] Fix non-deterministic behavior in ProvenanceAnalysis

If the second value passed to relatedSelect is a select, check whether
neither arm of the select is related to the first value.