[flang-commits] [flang] [flang] Stop tracking memory source after a load in a more explicit manner. (PR #126156)

[Joel E. Denny via flang-commits]

================
@@ -49,11 +49,13 @@
 
 // TODO: Can the address in a pointer alias the address of a pointer, even when the
 // pointer has no box. Should this be NoAlias?
----------------
jdenny-ornl wrote:

```suggestion
// TODO: Can the address in a pointer alias the address of a pointer, when the
// pointer has no box. Should this be NoAlias?
```
The normal case is that of a box, and we've agreed in the past that the described aliasing is *not* possible in that case.  The word "even" instead implies that it *is* possible and now we want to know if it is *also* possible without a box.  Sorry for the nit, but I think the old wording was confusing.

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