[InstCombine] Annotate strndup calls with dereferenceable_or_null
authorDavid Bolvansky <david.bolvansky@gmail.com>
Mon, 23 Sep 2019 19:55:45 +0000 (19:55 +0000)
committerDavid Bolvansky <david.bolvansky@gmail.com>
Mon, 23 Sep 2019 19:55:45 +0000 (19:55 +0000)
commit48db0272d62ee0e079ffe79246be6aee3afc0942
tree6f01fc48ca5c5a4a9ced72ac866ee2ca410823af
parent174d43d123f59354378dffbbf8960a0cb79df25c
[InstCombine] Annotate strndup calls with dereferenceable_or_null

"Implementations are free to malloc() a buffer containing either (size + 1) bytes or (strnlen(s, size) + 1) bytes. Applications should not assume that strndup() will allocate (size + 1) bytes when strlen(s) is smaller than size."

llvm-svn: 372647
llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
llvm/test/Transforms/InstCombine/objsize.ll
llvm/test/Transforms/InstCombine/strndup.ll