[llvm] [BasicAA] Treat IntToPtr(Argument) similarly to Argument in relation to function-local objects. (PR #134505)

[Nikita Popov via llvm-commits]

https://github.com/nikic requested changes to this pull request.

This is not correct for inttoptr. In test3, if `%Q_as_int == ptrtoint(%P)` and `%P` has escaped (and thus its provenance may be exposed), then `inttoptr(%Q_as_int)` may alias `%P`.

test6 is fine because the alloca does not escape -- but that case is already handled (https://llvm.godbolt.org/z/18zvW8Trz) based on escape source reasoning.

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