Lines Matching full:undefined
67 ; CHECK: Undefined behavior: Null pointer dereference
69 ; CHECK: Undefined behavior: Null pointer dereference
83 ; CHECK: Undefined behavior: Buffer overflow
86 ; CHECK: Undefined behavior: Buffer overflow
90 ; CHECK: Undefined behavior: Buffer overflow
104 ; CHECK-NOT: Undefined behavior: Buffer overflow
125 ; CHECK: Undefined behavior: Branch to non-blockaddress
132 ; CHECK: Undefined behavior: Call with "tail" keyword references alloca
168 ; CHECK: Undefined behavior: Undef pointer dereference
186 ; CHECK: Undefined behavior: indirectbr with no destinations
