[all-commits] [llvm/llvm-project] 9f9e8b: [MemoryLocation] Support memset_chk in getForArgum...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9f9e8ba114ce091f375f7ea9316a65c7582d6882
      https://github.com/llvm/llvm-project/commit/9f9e8ba114ce091f375f7ea9316a65c7582d6882
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-12-02 (Thu, 02 Dec 2021)

  Changed paths:
    M llvm/lib/Analysis/MemoryLocation.cpp
    M llvm/test/Analysis/BasicAA/libfuncs.ll

  Log Message:
  -----------
  [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