1 ; This test checks that we are not instrumenting direct inbound stack accesses.
2 ; RUN: opt < %s -asan -asan-module -asan-opt-stack -S | FileCheck %s
4 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-S128"
5 target triple = "x86_64-unknown-linux-gnu"
7 ;@sink = global i32* null, align 4
9 ; Ignore direct inbounds stack access.
10 define void @foo() uwtable sanitize_address {
12 %a = alloca i32, align 4
13 store i32 42, i32* %a, align 4
15 ; CHECK-LABEL: define void @foo
16 ; CHECK-NOT: __asan_report
20 ; Don't ignore dynamic indexing.
21 define void @baz(i64 %i) sanitize_address {
23 %a = alloca [10 x i32], align 4
24 %e = getelementptr inbounds [10 x i32], [10 x i32]* %a, i32 0, i64 %i
25 store i32 42, i32* %e, align 4
27 ; CHECK-LABEL: define void @baz
28 ; CHECK: __asan_report
32 define void @bar() sanitize_address {
34 %a = alloca [10 x i32], align 4
35 %e = getelementptr inbounds [10 x i32], [10 x i32]* %a, i32 0, i64 12
36 store i32 42, i32* %e, align 4
38 ; CHECK-LABEL: define void @bar
39 ; CHECK: __asan_report
43 define void @endoftests() sanitize_address {
46 ; CHECK-LABEL: define void @endoftests