11 lines · plain
1; RUN: not opt -passes='lint<abort-on-error>' -disable-output %s 2>&1 | FileCheck %s2 3; CHECK: Undefined behavior: Division by zero4; CHECK-NEXT: %b = sdiv i32 %a, 05; CHECK-NEXT: LLVM ERROR: linter found errors, aborting. (enabled by abort-on-error)6 7define i32 @sdiv_by_zero(i32 %a) {8 %b = sdiv i32 %a, 09 ret i32 %b10}11