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

Dávid Bolvanský via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 27 07:06:10 PDT 2019


xbolva00 added a comment.

We ignore malloc(0), realloc(p, 0), etc cases (no annotation, deref_or_null(0) is useless)


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

https://reviews.llvm.org/D66651





More information about the llvm-commits mailing list