[PATCH] Implement variable-sized alloca instrumentation.

[Yury Gribov]

Or maybe use dominance frontiers to make whole process more efficient: insert unpoisons at those predecessors of blocks from alloca dominance frontier which are dominated by alloca.

http://reviews.llvm.org/D6055