28 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes='asan<use-after-scope>' -S | FileCheck %s3 4define void @test() #1 {5; CHECK-LABEL: define void @test(6; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: [[CTX_PG:%.*]] = alloca <vscale x 16 x i1>, align 29; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[CTX_PG]])10; CHECK-NEXT: [[TMP0:%.*]] = load i8, ptr inttoptr (i64 17592186044416 to ptr), align 111; CHECK-NEXT: [[TMP1:%.*]] = icmp ne i8 [[TMP0]], 012; CHECK-NEXT: br i1 [[TMP1]], label %[[BB2:.*]], label %[[BB3:.*]]13; CHECK: [[BB2]]:14; CHECK-NEXT: call void @__asan_report_store8(i64 0) #[[ATTR4:[0-9]+]]15; CHECK-NEXT: unreachable16; CHECK: [[BB3]]:17; CHECK-NEXT: store ptr [[CTX_PG]], ptr null, align 818; CHECK-NEXT: ret void19;20entry:21 %ctx_pg = alloca <vscale x 16 x i1>, align 222 call void @llvm.lifetime.start.p0(ptr %ctx_pg)23 store ptr %ctx_pg, ptr null, align 824 ret void25}26 27attributes #1 = { sanitize_address }28