llvm-project

d2afc3e8 - [ValueTracking] Allow dereferenceable(0) to be applied to a null pointer (#175913)

[ValueTracking] Allow dereferenceable(0) to be applied to a null pointer (#175913) `dereferenceable(<n>)` with n being potentially zero can come up when using an operand bundle with a variable size. Currently this implies that the pointer is non-null, even though `[nullptr, nullptr)` is a valid range in any programming language I'm aware of. This patch removes this implication and updates the language reference to reflect that `dereferenceable` with a zero argument is valid.