[PATCH] D13403: Better handling of function calls in SafeStack

[Evgeniy Stepanov via llvm-commits]

eugenis created this revision.
eugenis added reviewers: majnemer, pcc, dvyukov.
eugenis added a subscriber: llvm-commits.
eugenis set the repository for this revision to rL LLVM.

For a call to be safe, require that it does not capture the alloca pointer and also does not write to it.
Special case for memory intrinsics when they are known to be inbounds.


Repository:
  rL LLVM

http://reviews.llvm.org/D13403

Files:
  lib/Transforms/Instrumentation/SafeStack.cpp
  test/Transforms/SafeStack/call.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13403.36419.patch
Type: text/x-patch
Size: 17437 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151003/d130a76c/attachment.bin>