[PATCH] D114969: [MemoryLocation] strcat/strncat/strcpy read/write after their args.

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added inline comments.


================
Comment at: llvm/lib/Analysis/MemoryLocation.cpp:218
+    case LibFunc_strcat:
+    case LibFunc_strncat:
+      assert((ArgIdx == 0 || ArgIdx == 1) && "Invalid argument index for str function");
----------------
For strncat we can do better analysis.

GetAfter - uppearBound(N + 1)




Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114969