Lines Matching +full:argument +full:- +full:count
1 ; RUN: opt -basic-aa -lint -disable-output < %s 2>&1 | FileCheck %s
2 ; RUN: opt -aa-pipeline=basic-aa -passes=lint -disable-output < %s 2>&1 | FileCheck %s
3 target datalayout = "e-p:64:64:64"
30 ; CHECK: All-ones pointer dereference
31 store i32 0, i32* inttoptr (i64 -1 to i32*)
51 ; CHECK: Shift count out of range
53 ; CHECK: Shift count out of range
55 ; CHECK: Shift count out of range
62 ; CHECK: Write to read-only memory
74 ; CHECK: Unusual: noalias argument aliases another argument
76 ; CHECK: Call argument count mismatches callee argument count
78 ; CHECK: Call argument count mismatches callee argument count
80 ; CHECK: Call argument type mismatches callee parameter type
83 ; CHECK: Write to read-only memory
85 ; CHECK: Write to read-only memory
87 ; CHECK: Unusual: noalias argument aliases another argument
98 %before = getelementptr i8, i8* %buf, i32 -1
111 ; CHECK-NOT: Undefined behavior: Buffer overflow
112 ; CHECK-NOT: Memory reference address is misaligned
120 ; CHECK: Unnamed function with non-local linkage
125 ; CHECK: va_start called in a non-varargs function
132 ; CHECK: Undefined behavior: Branch to non-blockaddress
200 ; CHECK: Unusual: noalias argument aliases another argument