[llvm] [LangRef] Specify that dereferenceable implies a spurious read (PR #218413)

[Ralf Jung via llvm-commits]

RalfJung wrote:

> "nofree"/"nofreeobj" is used to infer that a pointer which was dereferenceable on entry remains dereferenceable throughout the function. That doesn't work if noalias is involved: a pointer can become non-dereferenceable, even if it's not actually freed in the conventional sense.

What do you have in mind here? `noalias` parameter should be fine as they lose their effect upon return. Are you thinking of noalias metadata within a function?


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