1  /* PR middle-end/95810 */
       2  /* { dg-do run } */
       3  /* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */
       4  
       5  int
       6  main ()
       7  {
       8    int x = -__INT_MAX__ - 1;
       9    x = (x <= 0 ? x : -x);
      10    if (x != -__INT_MAX__ - 1)
      11      __builtin_abort ();
      12    return 0;
      13  }