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