[PATCH] Implement variable-sized alloca instrumentation.

[Yury Gribov]

Right. Frankly I'm mostly interested in VLAs so worst case we can simply remove such pathological cases. I think they can be detected by checking if alloca is argument of some phi?

http://reviews.llvm.org/D6055