llvm.org GIT mirror llvm / 56bb9a4
[asan] Disable checking of arguments passed by value for --asan-force-dynamic-shadow Fails with "Instruction does not dominate all uses!" git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@310241 91177308-0d34-0410-b5e6-96231b3b80d8 Vitaly Buka 2 years ago
2 changed file(s) with 6 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
755755 bool runOnFunction() {
756756 if (!ClStack) return false;
757757
758 if (ClRedzoneByvalArgs) copyArgsPassedByValToAllocas();
758 if (ClRedzoneByvalArgs && !ClForceDynamicShadow)
759 copyArgsPassedByValToAllocas();
759760
760761 // Collect alloca, ret, lifetime instructions etc.
761762 for (BasicBlock *BB : depth_first(&F.getEntryBlock())) visit(*BB);
0 ; This check verifies that arguments passed by value get redzones.
11 ; RUN: opt < %s -asan -asan-realign-stack=32 -S | FileCheck %s
2 ; RUN: opt < %s -asan -asan-realign-stack=32 -asan-force-dynamic-shadow -S | FileCheck %s --check-prefixes=CHECK-FDS
3
24
35 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"
46 target triple = "x86_64-unknown-linux-gnu"
68 %struct.A = type { [8 x i32] }
79
810 declare i32 @bar(%struct.A*)
11
12 ; CHECK-FDS-NOT: {{\.byval}}
913
1014 ; Test behavior for named argument with explicit alignment. The memcpy and
1115 ; alloca alignments should match the explicit alignment of 64.