[PATCH] D89885: [MemLoc] Adjust memccpy support in MemoryLocation::getForArgument

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/lib/Analysis/MemoryLocation.cpp:261
+      if (ArgIdx == 0)
+        // It is not known how many bytes are written to the dest arg.
+        break;
----------------
I think it might be slightly better to mention here that we only know an upper bound on the number of bytes written and this upper bound is unsafe to use for writes.


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

https://reviews.llvm.org/D89885