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

[Nikolas Klauser via llvm-commits]

philnik777 wrote:

Thanks, this is awesome! A non-constant version would be even more so :)

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