[llvm] [LangRef] Clarify that the pointer after an objet must be valid. (PR #127892)

[Florian Hahn via llvm-commits]

fhahn wrote:

Not sure if there is a better place to document the assumption than in the GEP semantics

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