[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