SKIP: triggers crbug.com/tint/1818

struct buf0 {
  /* @offset(0) */
  minusOne : i32,
}

@group(0) @binding(0) var<uniform> x_7 : buf0;

var<private> x_GLF_color : vec4<f32>;

fn main_1() {
  var minValue : i32;
  var negMinValue : i32;
  minValue = -2147483648i;
  let x_25 : i32 = minValue;
  negMinValue = -(x_25);
  let x_27 : i32 = negMinValue;
  let x_28 : i32 = minValue;
  let x_30 : i32 = x_7.minusOne;
  if ((x_27 == (x_28 * x_30))) {
    x_GLF_color = vec4<f32>(1.0f, 0.0f, 0.0f, 1.0f);
  } else {
    x_GLF_color = vec4<f32>(0.0f, 0.0f, 0.0f, 0.0f);
  }
  return;
}

struct main_out {
  @location(0)
  x_GLF_color_1 : vec4<f32>,
}

@fragment
fn main() -> main_out {
  main_1();
  return main_out(x_GLF_color);
}
vk-gl-cts/graphicsfuzz/cov-fold-negate-min-int-value/0-opt.spvasm:13:15 error: value cannot be represented as 'i32'
  minValue = -2147483648i;
              ^