1  /* PR tree-optimization/104196 */
       2  
       3  int a = 6;
       4  
       5  int
       6  main ()
       7  {
       8    while (1)
       9      {
      10        int b = a < 0 && 0 < -__INT_MAX__ - a ? 0 : a;
      11        if (b != 4096 - __INT_MAX__)
      12  	{
      13  	  if (a < 6)
      14  	    __builtin_abort ();
      15  	  break;
      16  	}
      17      }
      18    return 0;
      19  }