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 
smod16(long long x)12 long long smod16(long long x)
13 {
14   return x % 16;
15 }
16 
main(void)17 int main(void)
18 {
19 #if LLONG_MAX > 2147483647L
20   if (smod16 (0xFFFFFFFF) != 0xF)
21     abort ();
22 #endif
23 
24   return 0;
25 }
26