[flang-commits] [flang] [flang][TBAA] refine TARGET/POINTER encoding (PR #169544)

[Eugene Epshteyn via flang-commits]

eugeneepshteyn wrote:

> It just hit me. I think the following code is correct, so a global may alias with TARGET dummy:

Is it correct, though? Wouldn't it violate "15.5.2.14 Restrictions on entities associated with dummy arguments"?


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