1; RUN: not opt -passes=lint -disable-output --lint-abort-on-error %s 2>&1 | FileCheck %s 2 3; CHECK: Undefined behavior: Division by zero 4; CHECK-NEXT: %b = sdiv i32 %a, 0 5; CHECK-NEXT: LLVM ERROR: Linter found errors, aborting. (enabled by --lint-abort-on-error) 6 7define i32 @sdiv_by_zero(i32 %a) { 8 %b = sdiv i32 %a, 0 9 ret i32 %b 10} 11