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