[llvm] LangRef: getelementptr: inbounds is about the object the pointer is 'based on' (PR #95650)

[Nuno Lopes via llvm-commits]

https://github.com/nunoplopes approved this pull request.

Looks good to me.
If we ignore int2ptr casts, then Alive2 implements the proposed semantics. For int2ptr, I agree with Ralf that we are not in a consistent state right now, so it doesn't matter.

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