projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a692c54) | patch
[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
tree3108b12c5d70112a6d95eae1dff046f329d7217dtree | snapshot
parenta692c5492ad534c54ee283ac266e841d781cac90commit | diff
[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 diff | blob | history
llvm/test/Analysis/BasicAA/libfuncs.ll diff | blob | history
Domain: System / Toolchain;