RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity

[asan] Disable checking of arguments passed by value for --asan-force-dynamic-shadow

Browse Source 
Fails with "Instruction does not dominate all uses!"

llvm-svn: 310241
This commit is contained in:
Vitaly Buka 2017-08-07 07:12:34 +00:00
parent f4efbca948
commit de5aa1767f
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Transforms/Instrumentation/AddressSanitizer.cpp
View File

@ -756,7 +756,8 @@ struct FunctionStackPoisoner : public InstVisitor<FunctionStackPoisoner> {
bool runOnFunction() {
if (!ClStack) return false;
if (ClRedzoneByvalArgs) copyArgsPassedByValToAllocas();
if (ClRedzoneByvalArgs && !ClForceDynamicShadow)
copyArgsPassedByValToAllocas();
// Collect alloca, ret, lifetime instructions etc.
for (BasicBlock *BB : depth_first(&F.getEntryBlock())) visit(*BB);

4
test/Instrumentation/AddressSanitizer/stack-poisoning-byval-args.ll
View File

@ -1,5 +1,7 @@
; This check verifies that arguments passed by value get redzones.
; RUN: opt < %s -asan -asan-realign-stack=32 -S | FileCheck %s
; RUN: opt < %s -asan -asan-realign-stack=32 -asan-force-dynamic-shadow -S | FileCheck %s --check-prefixes=CHECK-FDS
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-unknown-linux-gnu"
@ -8,6 +10,8 @@ target triple = "x86_64-unknown-linux-gnu"
declare i32 @bar(%struct.A*)
; CHECK-FDS-NOT: {{\.byval}}
; Test behavior for named argument with explicit alignment. The memcpy and
; alloca alignments should match the explicit alignment of 64.
define void @foo(%struct.A* byval align 64 %a) sanitize_address {