HomePhabricator

Teach isDereferenceablePointer to look through returned-argument functions

Authored by hfinkel on Jul 10 2016, 8:08 PM.

Description

Teach isDereferenceablePointer to look through returned-argument functions

For functions which are known to return their argument,
isDereferenceableAndAlignedPointer can examine the argument value.

Differential Revision: http://reviews.llvm.org/D9384

llvm-svn: 275038

Details