[PATCH] D138613: [MemoryLocation] Support memcpy_chk in getForArgument.

Dávid Bolvanský via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Nov 23 14:49:20 PST 2022


xbolva00 added inline comments.


================
Comment at: llvm/lib/Analysis/MemoryLocation.cpp:264
       if (const auto *Len = dyn_cast<ConstantInt>(Call->getArgOperand(2))) {
         // memset_chk writes at most Len bytes. It may write less, if Len
         // exceeds the specified max size and aborts.
----------------
Generalize


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D138613/new/

https://reviews.llvm.org/D138613



More information about the llvm-commits mailing list