[PATCH] Implement variable-sized alloca instrumentation.

[Yury Gribov]

> I think they can be detected by checking if alloca is argument of some phi?

Hm, not really - alloca result could also escape.

http://reviews.llvm.org/D6055