; RUN: opt -S -passes=lint -disable-output < %s 2>&1 | FileCheck %s --allow-empty ; CHECK-NOT: Buffer overflow define @alloca_access() { %a = alloca %v = load , ptr %a ret %v } ; CHECK-NOT: Buffer overflow define @alloca_access2() { %a = alloca <256 x i8> %v = load , ptr %a ret %v } ; CHECK-NOT: insertelement index out of range define @insertelement() { %insert = insertelement poison, half 0xH0000, i64 100 ret %insert } ; CHECK-NOT: extract index out of range define half @extractelement( %v) { %insert = extractelement %v, i64 100 ret half %insert }