[all-commits] [llvm/llvm-project] 639a78: [MemoryLocation] Support strncpy in getForArgument.

Florian Hahn via All-commits all-commits at lists.llvm.org
Thu Dec 2 06:18:37 PST 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 639a78a4bf9da0a03dcd12c27f625a134a3ee6cc
      https://github.com/llvm/llvm-project/commit/639a78a4bf9da0a03dcd12c27f625a134a3ee6cc
  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 strncpy in getForArgument.

The size argument of strncpy can be used as bound for the size of
its pointer arguments.

strncpy is guaranteed to write N bytes and reads up to N bytes.

Reviewed By: xbolva00

Differential Revision: https://reviews.llvm.org/D114871




More information about the All-commits mailing list