[flang-commits] [flang] [flang] AliasAnalysis: Handle fir.load on hlfir.designate (PR #127107)

[Renaud Kauffmann via flang-commits]

Renaud-K wrote:

Actually, there are a lot of TODOs.
You are getting identical source because of the reassignment of v and defOp in
```
            else if (auto allocOp =
                         def.template getDefiningOp<fir::AllocaOp>()) {
              v = def;
              defOp = v.getDefiningOp();
              type = SourceKind::Allocate;
```
which makes the aggregate the source. Would you not be getting better results commenting these 2 lines out?
```
            else if (auto allocOp =
                         def.template getDefiningOp<fir::AllocaOp>()) {
              //v = def;
              //defOp = v.getDefiningOp();
              type = SourceKind::Allocate;
```



https://github.com/llvm/llvm-project/pull/127107