1  /* PR middle-end/18045 */
       2  /* Contributed by Eric Botcazou <ebotcazou@libertysurf.fr> */
       3  
       4  /* { dg-do run } */
       5  /* { dg-options "-std=c99" } */
       6  /* { dg-options "-std=c99 -mtune=i486" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
       7  
       8  #include <limits.h>
       9  
      10  extern void abort(void);
      11  
      12  long long smod16(long long x)
      13  {
      14    return x % 16;
      15  }
      16  
      17  int main(void)
      18  {
      19  #if LLONG_MAX > 2147483647L
      20    if (smod16 (0xFFFFFFFF) != 0xF)
      21      abort ();
      22  #endif
      23  
      24    return 0;
      25  }