[PATCH] D99310: [deref] Handle byval/byref/sret/inalloc/preallocated arguments for deref-at-point semantics

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Mar 25 01:38:13 PDT 2021


nikic added inline comments.


================
Comment at: llvm/lib/IR/Value.cpp:747
+      if (ArgMemTy->isSized())
+        return false;
+
----------------
Why is the check for a sized type necessary? For an unsized type there would be no dereferenceable bytes, but I don't think it's something that really affects canBeFreed itself?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D99310



More information about the llvm-commits mailing list