[clang] [llvm] [Clang] Add __builtin_assume_dereferenceable to encode deref assumption. (PR #121789)

[Nikita Popov via llvm-commits]

nikic wrote:

I'm concerned about the soundness of our current implementation for these assumptions, see my comment at https://github.com/llvm/llvm-project/pull/120962#issuecomment-2582864870. Not sure we should be exposing the current implementation from clang.

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