197 lines · plain
1; RUN: opt -aa-pipeline=basic-aa -passes=lint -disable-output < %s 2>&1 | FileCheck %s2target datalayout = "e-p:64:64:64"3 4declare fastcc void @bar()5declare void @llvm.stackrestore(ptr)6declare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1) nounwind7declare void @llvm.memcpy.inline.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1) nounwind8declare void @llvm.memset.p0.i8.i64(ptr nocapture, i8, i64, i1) nounwind9declare void @llvm.memset.inline.p0.i8.i64(ptr nocapture, i8, i64, i1) nounwind10declare void @has_sret(ptr sret(i8) %p)11declare void @has_noaliases(ptr noalias %p, ptr %q)12declare void @one_arg(i32)13 14@CG = constant i32 715@CG2 = constant i32 716@E = external global i817 18define i32 @foo() noreturn {19 %buf = alloca i820 %buf2 = alloca {i8, i8}, align 221; CHECK: Caller and callee calling convention differ22 call void @bar()23; CHECK: Null pointer dereference24 store i32 0, ptr null25; CHECK: Null pointer dereference26 %t = load i32, ptr null27; CHECK: Undef pointer dereference28 store i32 0, ptr undef29; CHECK: Undef pointer dereference30 %u = load i32, ptr undef31; CHECK: All-ones pointer dereference32 store i32 0, ptr inttoptr (i64 -1 to ptr)33; CHECK: Address one pointer dereference34 store i32 0, ptr inttoptr (i64 1 to ptr)35; CHECK: Memory reference address is misaligned36 store i8 0, ptr %buf, align 237; CHECK: Memory reference address is misaligned38 %gep = getelementptr {i8, i8}, ptr %buf2, i32 0, i32 139 store i8 0, ptr %gep, align 240; CHECK: Division by zero41 %sd = sdiv i32 2, 042; CHECK: Division by zero43 %ud = udiv i32 2, 044; CHECK: Division by zero45 %sr = srem i32 2, 046; CHECK: Division by zero47 %ur = urem i32 2, 048; CHECK: extractelement index out of range49 %ee = extractelement <4 x i32> zeroinitializer, i32 450; CHECK: insertelement index out of range51 %ie = insertelement <4 x i32> zeroinitializer, i32 0, i32 452; CHECK: Shift count out of range53 %r = lshr i32 0, 3254; CHECK: Shift count out of range55 %q = ashr i32 0, 3256; CHECK: Shift count out of range57 %l = shl i32 0, 3258; CHECK: xor(undef, undef)59 %xx = xor i32 undef, undef60; CHECK: sub(undef, undef)61 %xs = sub i32 undef, undef62 63; CHECK: Write to read-only memory64 store i32 8, ptr @CG65; CHECK: Write to text section66 store i32 8, ptr @foo67; CHECK: Load from block address68 %lb = load i32, ptr blockaddress(@foo, %next)69; CHECK: Call to block address70 call void() blockaddress(@foo, %next)()71; CHECK: Undefined behavior: Null pointer dereference72 call void @llvm.stackrestore(ptr null)73; CHECK: Undefined behavior: Null pointer dereference74 call void @has_sret(ptr sret(i8) null)75; CHECK: Unusual: noalias argument aliases another argument76 call void @has_noaliases(ptr @CG, ptr @CG)77; CHECK: Call argument count mismatches callee argument count78 call void (i32, i32) @one_arg(i32 0, i32 0)79; CHECK: Call argument count mismatches callee argument count80 call void () @one_arg()81; CHECK: Call argument type mismatches callee parameter type82 call void (float) @one_arg(float 0.0)83 84; CHECK: Write to read-only memory85call void @llvm.memcpy.p0.p0.i64(ptr @CG, ptr @CG2, i64 1, i1 0)86; CHECK: Write to read-only memory87call void @llvm.memcpy.inline.p0.p0.i64(ptr @CG, ptr @CG2, i64 1, i1 0)88; CHECK: Unusual: noalias argument aliases another argument89call void @llvm.memcpy.p0.p0.i64(ptr @CG, ptr @CG, i64 1, i1 0)90 91; CHECK: Write to read-only memory92call void @llvm.memset.p0.i8.i64(ptr @CG, i8 1, i64 1, i1 0)93; CHECK: Write to read-only memory94call void @llvm.memset.inline.p0.i8.i64(ptr @CG, i8 1, i64 1, i1 0)95 96; CHECK: Undefined behavior: Buffer overflow97 store i16 0, ptr %buf98; CHECK: Undefined behavior: Buffer overflow99 %inner = getelementptr {i8, i8}, ptr %buf2, i32 0, i32 1100 store i16 0, ptr %inner101; CHECK: Undefined behavior: Buffer overflow102 %before = getelementptr i8, ptr %buf, i32 -1103 store i16 0, ptr %before104 105 br label %next106 107next:108; CHECK: Static alloca outside of entry block109 %a = alloca i32110; CHECK: Return statement in function with noreturn attribute111 ret i32 0112 113foo:114; CHECK-NOT: Undefined behavior: Buffer overflow115; CHECK-NOT: Memory reference address is misaligned116 store i64 0, ptr @E117 %z = add i32 0, 0118; CHECK: unreachable immediately preceded by instruction without side effects119 unreachable120}121 122; CHECK: Unnamed function with non-local linkage123define void @0() nounwind {124 ret void125}126 127; CHECK: Undefined behavior: Branch to non-blockaddress128define void @use_indbr() {129 indirectbr ptr @foo, [label %block]130block:131 unreachable132}133 134; CHECK: Undefined behavior: Call with "tail" keyword references alloca135declare void @tailcallee(ptr)136define void @use_tail(ptr %valist) {137 %t = alloca i8138 tail call void @tailcallee(ptr %t)139 ret void140}141 142; CHECK: Unusual: Returning alloca value143define ptr @return_local(i32 %n, i32 %m) {144 %t = alloca i8, i32 %n145 %s = getelementptr i8, ptr %t, i32 %m146 ret ptr %s147}148 149; CHECK: Unusual: Returning alloca value150define ptr @return_obscured_local() {151entry:152 %retval = alloca ptr153 %x = alloca i32154 store ptr %x, ptr %retval155 br label %next156next:157 %t0 = load ptr, ptr %retval158 %t1 = insertvalue { i32, i32, ptr } zeroinitializer, ptr %t0, 2159 %t2 = extractvalue { i32, i32, ptr } %t1, 2160 br label %exit161exit:162 %t3 = phi ptr [ %t2, %next ]163 %t5 = ptrtoint ptr %t3 to i64164 %t6 = add i64 %t5, 0165 %t7 = inttoptr i64 %t6 to ptr166 ret ptr %t7167}168 169; CHECK: Undefined behavior: Undef pointer dereference170define ptr @self_reference() {171entry:172 unreachable173exit:174 %t3 = phi ptr [ %t4, %exit ]175 %t4 = bitcast ptr %t3 to ptr176 %x = load volatile i32, ptr %t3177 br label %exit178}179 180; CHECK: Call return type mismatches callee return type181%struct = type { double, double }182declare i32 @nonstruct_callee() nounwind183define void @struct_caller() nounwind {184entry:185 call %struct @foo()186 187 ; CHECK: Undefined behavior: indirectbr with no destinations188 indirectbr ptr null, []189}190 191define i32 @memcpy_inline_same_address() noreturn {192 %buf = alloca i64, align 1193 ; CHECK: Unusual: noalias argument aliases another argument194 call void @llvm.memcpy.inline.p0.p0.i64(ptr %buf, ptr %buf, i64 1, i1 false)195 unreachable196}197