[PATCH] D66161: [SLC] Dereferenceable annonation - handle valid null pointers

Dávid Bolvanský via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 13 15:33:50 PDT 2019

Previous message: [PATCH] D66161: [SLC] Dereferenceable annonation - handle valid null pointers
Next message: [PATCH] D66161: [SLC] Dereferenceable annonation - handle valid null pointers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

xbolva00 added a comment.

nullPointerIsDefined(F, AS) ..  cool :)

Test is in extra file due to memcmp redefinition issue.


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

https://reviews.llvm.org/D66161

Previous message: [PATCH] D66161: [SLC] Dereferenceable annonation - handle valid null pointers
Next message: [PATCH] D66161: [SLC] Dereferenceable annonation - handle valid null pointers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list