Lines Matching +full:argument +full:- +full:count
1 ; RUN: opt -basicaa -lint -disable-output < %s 2>&1 | FileCheck %s
2 target datalayout = "e-p:64:64:64"
27 ; CHECK: All-ones pointer dereference
28 store i32 0, i32* inttoptr (i64 -1 to i32*)
48 ; CHECK: Shift count out of range
50 ; CHECK: Shift count out of range
52 ; CHECK: Shift count out of range
59 ; CHECK: Write to read-only memory
71 ; CHECK: Unusual: noalias argument aliases another argument
73 ; CHECK: Call argument count mismatches callee argument count
75 ; CHECK: Call argument count mismatches callee argument count
77 ; CHECK: Call argument type mismatches callee parameter type
80 ; CHECK: Write to read-only memory
91 %before = getelementptr i8, i8* %buf, i32 -1
104 ; CHECK-NOT: Undefined behavior: Buffer overflow
105 ; CHECK-NOT: Memory reference address is misaligned
113 ; CHECK: Unnamed function with non-local linkage
118 ; CHECK: va_start called in a non-varargs function
125 ; CHECK: Undefined behavior: Branch to non-blockaddress