[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
Fri Aug 23 09:12:47 PDT 2019
xbolva00 updated this revision to Diff 216876.
xbolva00 added a comment.
Improved code.
Added/updated tests.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D66651/new/
https://reviews.llvm.org/D66651
Files:
include/llvm/Analysis/MemoryBuiltins.h
lib/Analysis/MemoryBuiltins.cpp
lib/Transforms/InstCombine/InstCombineCalls.cpp
test/Transforms/InstCombine/compare-unescaped.ll
test/Transforms/InstCombine/deref-alloc-fns.ll
test/Transforms/InstCombine/malloc-free-delete.ll
test/Transforms/InstCombine/objsize.ll
test/Transforms/InstCombine/realloc.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D66651.216876.patch
Type: text/x-patch
Size: 31253 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190823/56dbaadc/attachment.bin>
More information about the llvm-commits
mailing list