[PATCH] D66651: Annotate return values of allocation functions with dereferenceable_or_null

[Aaron Ballman via Phabricator via llvm-commits]

aaron.ballman added a comment.

I'm not an LLVM person, but I just wanted to double-check: is this correct even in the face of situations where `malloc()` and friends return a non-null pointer that is *not* dereferenceable? e.g., when someone calls `malloc(0)` with certain libc implementations?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66651/new/

https://reviews.llvm.org/D66651