| /* { dg-do run } */ | |
| /* { dg-require-effective-target int32plus } */ | |
| extern void abort (void); | |
| unsigned short __attribute__((noinline)) | |
| foo (int i) | |
| { | |
| if (i >= 0 | |
| && i <= 0x400000) | |
| return (unsigned short)(signed char)i; | |
| return i; | |
| } | |
| int main() | |
| { | |
| int i; | |
| for (i = 0; i < 0xffff; ++i) | |
| if (foo(i) != (unsigned short)(signed char) i) | |
| abort (); | |
| return 0; | |
| } |