1 ; RUN: opt -basicaa -lint -disable-output < %s 2>&1 | FileCheck %s 2 target datalayout = "e-p:64:64:64" 3 4 declare fastcc void @bar() 5 declare void @llvm.stackrestore(i8*) 6 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind 7 declare void @has_sret(i8* sret %p) 8 declare void @has_noaliases(i32* noalias %p, i32* %q) 9 declare void @one_arg(i32) 10 11 @CG = constant i32 7 12 @E = external global i8 13 14 define i32 @foo() noreturn { 15 %buf = alloca i8 16 %buf2 = alloca {i8, i8}, align 2 17 ; CHECK: Caller and callee calling convention differ 18 call void @bar() 19 ; CHECK: Null pointer dereference 20 store i32 0, i32* null 21 ; CHECK: Null pointer dereference 22 %t = load i32* null 23 ; CHECK: Undef pointer dereference 24 store i32 0, i32* undef 25 ; CHECK: Undef pointer dereference 26 %u = load i32* undef 27 ; CHECK: All-ones pointer dereference 28 store i32 0, i32* inttoptr (i64 -1 to i32*) 29 ; CHECK: Address one pointer dereference 30 store i32 0, i32* inttoptr (i64 1 to i32*) 31 ; CHECK: Memory reference address is misaligned 32 store i8 0, i8* %buf, align 2 33 ; CHECK: Memory reference address is misaligned 34 %gep = getelementptr {i8, i8}* %buf2, i32 0, i32 1 35 store i8 0, i8* %gep, align 2 36 ; CHECK: Division by zero 37 %sd = sdiv i32 2, 0 38 ; CHECK: Division by zero 39 %ud = udiv i32 2, 0 40 ; CHECK: Division by zero 41 %sr = srem i32 2, 0 42 ; CHECK: Division by zero 43 %ur = urem i32 2, 0 44 ; CHECK: extractelement index out of range 45 %ee = extractelement <4 x i32> zeroinitializer, i32 4 46 ; CHECK: insertelement index out of range 47 %ie = insertelement <4 x i32> zeroinitializer, i32 0, i32 4 48 ; CHECK: Shift count out of range 49 %r = lshr i32 0, 32 50 ; CHECK: Shift count out of range 51 %q = ashr i32 0, 32 52 ; CHECK: Shift count out of range 53 %l = shl i32 0, 32 54 ; CHECK: xor(undef, undef) 55 %xx = xor i32 undef, undef 56 ; CHECK: sub(undef, undef) 57 %xs = sub i32 undef, undef 58 59 ; CHECK: Write to read-only memory 60 store i32 8, i32* @CG 61 ; CHECK: Write to text section 62 store i32 8, i32* bitcast (i32()* @foo to i32*) 63 ; CHECK: Load from block address 64 %lb = load i32* bitcast (i8* blockaddress(@foo, %next) to i32*) 65 ; CHECK: Call to block address 66 call void()* bitcast (i8* blockaddress(@foo, %next) to void()*)() 67 ; CHECK: Undefined behavior: Null pointer dereference 68 call void @llvm.stackrestore(i8* null) 69 ; CHECK: Undefined behavior: Null pointer dereference 70 call void @has_sret(i8* null) 71 ; CHECK: Unusual: noalias argument aliases another argument 72 call void @has_noaliases(i32* @CG, i32* @CG) 73 ; CHECK: Call argument count mismatches callee argument count 74 call void (i32, i32)* bitcast (void (i32)* @one_arg to void (i32, i32)*)(i32 0, i32 0) 75 ; CHECK: Call argument count mismatches callee argument count 76 call void ()* bitcast (void (i32)* @one_arg to void ()*)() 77 ; CHECK: Call argument type mismatches callee parameter type 78 call void (float)* bitcast (void (i32)* @one_arg to void (float)*)(float 0.0) 79 80 ; CHECK: Write to read-only memory 81 call void @llvm.memcpy.p0i8.p0i8.i64(i8* bitcast (i32* @CG to i8*), i8* bitcast (i32* @CG to i8*), i64 1, i32 1, i1 0) 82 83 ; CHECK: Undefined behavior: Buffer overflow 84 %wider = bitcast i8* %buf to i16* 85 store i16 0, i16* %wider 86 ; CHECK: Undefined behavior: Buffer overflow 87 %inner = getelementptr {i8, i8}* %buf2, i32 0, i32 1 88 %wider2 = bitcast i8* %inner to i16* 89 store i16 0, i16* %wider2 90 ; CHECK: Undefined behavior: Buffer overflow 91 %before = getelementptr i8* %buf, i32 -1 92 %wider3 = bitcast i8* %before to i16* 93 store i16 0, i16* %wider3 94 95 br label %next 96 97 next: 98 ; CHECK: Static alloca outside of entry block 99 %a = alloca i32 100 ; CHECK: Return statement in function with noreturn attribute 101 ret i32 0 102 103 foo: 104 ; CHECK-NOT: Undefined behavior: Buffer overflow 105 ; CHECK-NOT: Memory reference address is misaligned 106 %e = bitcast i8* @E to i64* 107 store i64 0, i64* %e 108 %z = add i32 0, 0 109 ; CHECK: unreachable immediately preceded by instruction without side effects 110 unreachable 111 } 112 113 ; CHECK: Unnamed function with non-local linkage 114 define void @0() nounwind { 115 ret void 116 } 117 118 ; CHECK: va_start called in a non-varargs function 119 declare void @llvm.va_start(i8*) 120 define void @not_vararg(i8* %p) nounwind { 121 call void @llvm.va_start(i8* %p) 122 ret void 123 } 124 125 ; CHECK: Undefined behavior: Branch to non-blockaddress 126 define void @use_indbr() { 127 indirectbr i8* bitcast (i32()* @foo to i8*), [label %block] 128 block: 129 unreachable 130 } 131 132 ; CHECK: Undefined behavior: Call with "tail" keyword references alloca 133 declare void @tailcallee(i8*) 134 define void @use_tail(i8* %valist) { 135 %t = alloca i8 136 tail call void @tailcallee(i8* %t) 137 ret void 138 } 139 140 ; CHECK: Unusual: Returning alloca value 141 define i8* @return_local(i32 %n, i32 %m) { 142 %t = alloca i8, i32 %n 143 %s = getelementptr i8* %t, i32 %m 144 ret i8* %s 145 } 146 147 ; CHECK: Unusual: Returning alloca value 148 define i32* @return_obscured_local() { 149 entry: 150 %retval = alloca i32* 151 %x = alloca i32 152 store i32* %x, i32** %retval 153 br label %next 154 next: 155 %t0 = load i32** %retval 156 %t1 = insertvalue { i32, i32, i32* } zeroinitializer, i32* %t0, 2 157 %t2 = extractvalue { i32, i32, i32* } %t1, 2 158 br label %exit 159 exit: 160 %t3 = phi i32* [ %t2, %next ] 161 %t4 = bitcast i32* %t3 to i32* 162 %t5 = ptrtoint i32* %t4 to i64 163 %t6 = add i64 %t5, 0 164 %t7 = inttoptr i64 %t6 to i32* 165 ret i32* %t7 166 } 167 168 ; CHECK: Undefined behavior: Undef pointer dereference 169 define i32* @self_reference() { 170 entry: 171 unreachable 172 exit: 173 %t3 = phi i32* [ %t4, %exit ] 174 %t4 = bitcast i32* %t3 to i32* 175 %x = load volatile i32* %t3 176 br label %exit 177 } 178 179 ; CHECK: Call return type mismatches callee return type 180 %struct = type { double, double } 181 declare i32 @nonstruct_callee() nounwind 182 define void @struct_caller() nounwind { 183 entry: 184 call %struct bitcast (i32 ()* @foo to %struct ()*)() 185 186 ; CHECK: Undefined behavior: indirectbr with no destinations 187 indirectbr i8* null, [] 188 } 189
