// RUN: mlir-opt %s
// RUN: not mlir-opt %s -test-mlir-reducer -pass-test function-reducer
func @test() {
"test.crashOp"() : () -> ()
return
}