[all-commits] [llvm/llvm-project] 702664: [flang] Improve alias analysis to be precise for b...

[Razvan Lupusoru via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 702664e7870c27f197dfb744a4db54aa259ce452
      https://github.com/llvm/llvm-project/commit/702664e7870c27f197dfb744a4db54aa259ce452
  Author: Razvan Lupusoru <razvan.lupusoru at gmail.com>
  Date:   2024-02-05 (Mon, 05 Feb 2024)

  Changed paths:
    M flang/lib/Optimizer/Analysis/AliasAnalysis.cpp
    A flang/test/Analysis/AliasAnalysis/alias-analysis-8.fir

  Log Message:
  -----------
  [flang] Improve alias analysis to be precise for box and box.base_addr (#80335)

After PR#68727 the source for both the fir.box_addr and a box became the
same. Thus the detection that only one of the sources was direct and the
special logic around it was being skipped. As a result, the test
included would show a "MayAlias" result instead of a "NoAlias" result.