38 lines · plain
1; Test asan internal compiler flags:2; -asan-instrument-dynamic-allocas3 4; RUN: opt < %s -passes=asan -asan-instrument-dynamic-allocas -S | FileCheck %s --check-prefix=CHECK-ALLOCA5target 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"6target triple = "x86_64-unknown-linux-gnu"7 8define void @foo(i32 %len) sanitize_address {9entry:10; CHECK-ALLOCA-LABEL: define void @foo11; CHECK-ALLOCA: __asan_alloca_poison12; CHECK-ALLOCA: __asan_allocas_unpoison13; CHECK-ALLOCA: ret void14 %0 = alloca i32, align 415 %1 = alloca ptr16 store volatile i32 %len, ptr %0, align 417 %2 = load i32, ptr %0, align 418 %3 = zext i32 %2 to i6419 %4 = alloca i8, i64 %3, align 3220 store volatile i8 0, ptr %421 ret void22}23 24; Test that dynamic alloca is not used for inalloca variables.25define void @has_inalloca() uwtable sanitize_address {26; CHECK-ALLOCA-LABEL: define void @has_inalloca27; CHECK-ALLOCA-NOT: __asan_alloca_poison28; CHECK-ALLOCA-NOT: __asan_alloca_unpoison29; CHECK-ALLOCA: ret void30entry:31 %t = alloca inalloca i3232 store i32 42, ptr %t33 call void @pass_inalloca(ptr inalloca(i32) %t)34 ret void35}36 37declare void @pass_inalloca(ptr inalloca(i32))38