11 // which produce undefined or likely unintended behavior in LLVM IR.
31 // for the same kinds of things and turns instructions with undefined behavior
184   // This isn't undefined behavior, it's just a little unusual, and it's a  in visitFunction()
201             "Undefined behavior: Caller and callee calling convention differ",  in visitCallSite()
210             "Undefined behavior: Call argument count mismatches callee "  in visitCallSite()
214             "Undefined behavior: Call return type mismatches "  in visitCallSite()
226                 "Undefined behavior: Call argument type mismatches "  in visitCallSite()
258               "Undefined behavior: Call with \"tail\" keyword references "  in visitCallSite()
290               "Undefined behavior: memcpy source and destination overlap", &I);  in visitCallSite()
315               "Undefined behavior: va_start called in a non-varargs function",  in visitCallSite()
375           "Undefined behavior: Null pointer dereference", &I);  in visitMemoryReference()
377           "Undefined behavior: Undef pointer dereference", &I);  in visitMemoryReference()
388               "Undefined behavior: Write to read-only memory", &I);  in visitMemoryReference()
391             "Undefined behavior: Write to text section", &I);  in visitMemoryReference()
397             "Undefined behavior: Load from block address", &I);  in visitMemoryReference()
401             "Undefined behavior: Call to block address", &I);  in visitMemoryReference()
406             "Undefined behavior: Branch to non-blockaddress", &I);  in visitMemoryReference()
418               "Undefined behavior: Memory reference address is misaligned", &I);  in visitMemoryReference()
482           "Undefined behavior: Division by zero", &I);  in visitSDiv()
487           "Undefined behavior: Division by zero", &I);  in visitUDiv()
492           "Undefined behavior: Division by zero", &I);  in visitSRem()
497           "Undefined behavior: Division by zero", &I);  in visitURem()
502     // This isn't undefined behavior, it's just an obvious pessimization.  in visitAllocaInst()
519           "Undefined behavior: indirectbr with no destinations", &I);  in visitIndirectBrInst()
539   // This isn't undefined behavior, it's merely suspicious.  in visitUnreachableInst()