1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  int __attribute__((noinline))
       5  foo(char c)
       6  {
       7    unsigned short a = (unsigned short)c;
       8    if (a >= -32000 && a <= 32000)
       9      return c == 0;
      10    return -1;
      11  }
      12  
      13  extern void abort (void);
      14  
      15  int main()
      16  {
      17    if (foo(1) == 1)
      18      abort ();
      19    return 0;
      20  }
      21