33 lines · plain
1; RUN: opt < %s -passes=asan -S | FileCheck %s2target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"3target triple = "x86_64-apple-macosx10.11.0"4 5; Checks that we do not instrument loads and stores comming from custom address space.6; These result in invalid (false positive) reports.7; int foo(int argc, const char * argv[]) {8; ptr__attribute__((address_space(256))) *gs_base = (((ptr __attribute__((address_space(256))) *)0));9; ptr somevalue = gs_base[-1];10; return somevalue;11; }12 13define i32 @foo(i32 %argc, ptr %argv) sanitize_address {14entry:15 %retval = alloca i32, align 416 %argc.addr = alloca i32, align 417 %argv.addr = alloca ptr, align 818 %gs_base = alloca ptr addrspace(256), align 819 %somevalue = alloca ptr, align 820 store i32 0, ptr %retval, align 421 store i32 %argc, ptr %argc.addr, align 422 store ptr %argv, ptr %argv.addr, align 823 store ptr addrspace(256) null, ptr %gs_base, align 824 %0 = load ptr addrspace(256), ptr %gs_base, align 825 %arrayidx = getelementptr inbounds ptr, ptr addrspace(256) %0, i64 -126 %1 = load ptr, ptr addrspace(256) %arrayidx, align 827 store ptr %1, ptr %somevalue, align 828 %2 = load ptr, ptr %somevalue, align 829 %3 = ptrtoint ptr %2 to i3230 ret i32 %331}32; CHECK-NOT: call void @__asan_report_load833