[PATCH] D24321: [asan] Avoid lifetime analysis for allocas with can be in ambiguous state

[Vitaly Buka via llvm-commits]

vitalybuka created this revision.
vitalybuka added a reviewer: eugenis.
vitalybuka added a subscriber: llvm-commits.

C allows to jump over variables declaration so lifetime.start can be
avoid before variable usage. To avoid false-positives on such rare cases
we detect them and remove from lifetime analysis.

PR27453
PR28267

https://reviews.llvm.org/D24321

Files:
  lib/Transforms/Instrumentation/AddressSanitizer.cpp
  test/Instrumentation/AddressSanitizer/lifetime.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D24321.70612.patch
Type: text/x-patch
Size: 4674 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160907/9d1e9f03/attachment.bin>