diff options
author | Vitaly Buka <vitalybuka@google.com> | 2016-07-28 22:50:48 +0000 |
---|---|---|
committer | Vitaly Buka <vitalybuka@google.com> | 2016-07-28 22:50:48 +0000 |
commit | f0500b6ae526fef8238f4f6017ac9da2f5c3f756 (patch) | |
tree | b83db977507c80597568dd337804f3845ced274c /llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp | |
parent | 36457938725a34da13936a0e1eead7cc2147b0a2 (diff) | |
download | bcm5719-llvm-f0500b6ae526fef8238f4f6017ac9da2f5c3f756.tar.gz bcm5719-llvm-f0500b6ae526fef8238f4f6017ac9da2f5c3f756.zip |
Do not remove empty lifetime.start/lifetime.end ranges
Summary:
Asan stack-use-after-scope check should poison alloca even if there is
no access between start and end.
This is possible for code like this:
for (int i = 0; i < 3; i++) {
int x;
p = &x;
}
"Loop Invariant Code Motion" will move "p = &x;" out of the loop, making
start/end range empty.
PR27453
Reviewers: eugenis
Differential Revision: https://reviews.llvm.org/D22842
llvm-svn: 277068
Diffstat (limited to 'llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp')
0 files changed, 0 insertions, 0 deletions