[PATCH] D14599: [safestack] Rewrite isAllocaSafe using SCEV.

[Evgeniy Stepanov via llvm-commits]

eugenis added a comment.

This version also attempts to protect against information leaks.
A function that returns an address of a stack variable (or some value computed based on that) would get a readnone attribute, which means we can not rely on that. This was the last use of AliasAnalysis in SafeStack, so it is now gone.


Repository:
  rL LLVM

http://reviews.llvm.org/D14599