[llvm] [InferAS] Infer the address space of inttoptr (PR #173244)

[Matt Arsenault via llvm-commits]

arsenm wrote:

I'm no expert on provenance, so I'm not sure precisely what makes the transform illegal. I think it would be better if the transformation into a well-formed pointer operation were not the responsibility of InferAddressSpaces. However, assuming that's likely not possible, it's starting to make more sense to me to handle it this way. 

My concern is if this could be introducing a different class of provenance issues. I suppose given there is no provenance after the pointer is cast to integer, and treating these as pure bit-operations, this could be valid? 


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