[llvm-branch-commits] [clang] [flang] [llvm] [OpenMP][Attributor] Infer noalias for host callback captures (PR #218453)

[Tomas Matheson via llvm-branch-commits]

tommat01 wrote:

> Is it possible / would it make sense to directly annotate these noalias in the frontend (i.e. when clang emits the outlined function)?

I hadn't considered that exactly (I tried other frontend fixes) but I think it would work for the outlined function case. The main reason for not doing it in the frontend was to not repeat the same analysis for flang etc. Also (rightly or wrongly) I just had more confidence that Attributor would do the alias analysis correctly; there might be some edge cases in the frontend that could be missed.

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