[PATCH] [asan] Change dynamic alloca instrumentation to only consider allocas that are dominating all exits from function.

[Yury Gribov]

Hi kcc, samsonov, eugenis,

This patch follows Kostya's suggestion in http://reviews.llvm.org/D6055 to only consider dynamic allocas that dominate all exits from function. This would filter out non-trivial cases like allocas inside conditional statements or loops which can not be easily unpoisoned until we have a better solution.

http://reviews.llvm.org/D6412

Files:
  lib/Transforms/Instrumentation/AddressSanitizer.cpp
  test/Instrumentation/AddressSanitizer/undecidable-dynamic-alloca-1.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D6412.16635.patch
Type: text/x-patch
Size: 4957 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141126/a20dfc9b/attachment.bin>