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