[all-commits] [llvm/llvm-project] 295861: [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: 295861514e0d1e48df2918b630dd692ac27ee0de
      https://github.com/llvm/llvm-project/commit/295861514e0d1e48df2918b630dd692ac27ee0de
  Author: Akira Hatanaka <ahatanaka at apple.com>
  Date:   2022-11-08 (Tue, 08 Nov 2022)

  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

ProvenanceAnalysis::relatedCheck was giving different answers depending
on the order in which the pointers were passed.

Specifically, it was returning different values when A and B were both
loads and were both referring to identifiable objects, but only one was
used by a store instruction.