/* PR rtl-optimization/116372 */
/* { dg-do run } */
/* { dg-options "-O1" } */ 
/* { dg-additional-options "-march=z13" { target s390x-*-* } } */

long x = -0x7fffffff - 1;
int main (void)
{
  long y = x % (-0xf - 1);
  if (-0x7fffffff - 1 + y == x == 0)
    __builtin_abort ();
  return 0;
}