search for: some_other_external_funct

...that’s correct, but I haven’t come out with any scenarios > regarding local variables/memory that can _not_ be solved by AA. As > BasicAA is able to solved most of the local cases, including malloc > and some memory intrinsics. int *restrict x = some_external_function(); int *restrict y = some_other_external_function(); This is one of the fundamental use cases for restrict and BasicAA has nothing to offer in this regard. In other words, it's a mechanism for encoding an interface contract.  -Hal > > Best > Bekket >>   >> Thanks, >> Troy >>   >>   >> ________...

Concerning slide 16 of https://llvm.org/devmtg/2017-02-04/Restrict-Qualified-Pointers-in-LLVM.pdf Specifically "Currently, LLVM only supports restrict on function arguments, although we have a way to preserve that information if the function is inlined." Is that statement still accurate? It would seem that https://llvm.org/docs/LangRef.html#noalias-and-alias-scope-metadata should be