maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[ASan] Emit lifetime markers for local variables in -fsanitize=use-after-scope mode 

llvm-svn: 178538
This commit is contained in:
Alexey Samsonov 2013-04-02 13:19:46 +00:00
parent b5dad75e38
commit 262f05bab0
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/CodeGen/CGDecl.cpp
View File

@ -786,6 +786,9 @@ static bool shouldUseMemSetPlusStoresToInitialize(llvm::Constant *Init,
/// Should we use the LLVM lifetime intrinsics for the given local variable?
static bool shouldUseLifetimeMarkers(CodeGenFunction &CGF, const VarDecl &D,
unsigned Size) {
// Always emit lifetime markers in -fsanitize=use-after-scope mode.
if (CGF.getLangOpts().Sanitize.UseAfterScope)
return true;
// For now, only in optimized builds.
if (CGF.CGM.getCodeGenOpts().OptimizationLevel == 0)
return false;

22
clang/test/CodeGen/sanitize-use-after-scope.c Normal file
View File

@ -0,0 +1,22 @@
// RUN: %clang_cc1 -S -emit-llvm -o - -fsanitize=address,use-after-scope %s \
// RUN: | FileCheck %s -check-prefix=USE-AFTER-SCOPE
// RUN: %clang_cc1 -S -emit-llvm -o - -fsanitize=address %s \
// RUN: | FileCheck %s -check-prefix=ADDRESS-ONLY
extern int bar(char *A, int n);
// ADDRESS-ONLY-NOT: @llvm.lifetime.start
int foo (int n) {
if (n) {
// USE-AFTER-SCOPE: @llvm.lifetime.start(i64 10, i8* {{.*}})
char A[10];
return bar(A, 1);
// USE-AFTER-SCOPE: @llvm.lifetime.end(i64 10, i8* {{.*}})
} else {
// USE-AFTER-SCOPE: @llvm.lifetime.start(i64 20, i8* {{.*}})
char A[20];
return bar(A, 2);
// USE-AFTER-SCOPE: @llvm.lifetime.end(i64 20, i8* {{.*}})
}
}