1// RUN: not mlir-opt -test-last-modified %s 2>&1 | FileCheck %s
2
3// test error propagation from UnderlyingValueAnalysis::visitOperation
4// CHECK: this op is always fails
5func.func @test() {
6 %c0 = arith.constant { always_fail } 0 : i32
7 return
8}
9