1  /* { dg-do run } */
       2  /* { dg-options "-O3" } */
       3  
       4  short c = 0;
       5  
       6  int __attribute__ ((noinline)) f(void)
       7  {
       8  	int d = 5;
       9  	signed char e = (c != 1) * -2;
      10  	int a = (unsigned short)e > d;
      11  
      12  	return a;
      13  }
      14  
      15  int main(void)
      16  {
      17  	if (!f())
      18  		__builtin_abort();
      19  
      20  	return 0;
      21  }