[MemoryLocation] Support memset_chk in getForArgument.
authorFlorian Hahn <flo@fhahn.com>
Thu, 2 Dec 2021 13:45:58 +0000 (13:45 +0000)
committerFlorian Hahn <flo@fhahn.com>
Thu, 2 Dec 2021 13:45:58 +0000 (13:45 +0000)
commit9f9e8ba114ce091f375f7ea9316a65c7582d6882
tree3108b12c5d70112a6d95eae1dff046f329d7217d
parenta692c5492ad534c54ee283ac266e841d781cac90
[MemoryLocation] Support memset_chk in getForArgument.

The size argument for memset_chk is an upper bound for the size of the
pointer argument. memset_chk may write less than the specified length,
if it exceeds the specified max size and aborts.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D114870
llvm/lib/Analysis/MemoryLocation.cpp
llvm/test/Analysis/BasicAA/libfuncs.ll