llvm/llvm/test/Assembler/range-attribute-invalid-range.ll

; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s

; CHECK: the range represent the empty set but limits aren't 0!
define void @range_empty(i8 range(i8 1, 1) %a) {
  ret void
}