diff options
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/pr37924.c')
-rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr37924.c | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr37924.c b/gcc/testsuite/gcc.c-torture/execute/pr37924.c new file mode 100644 index 000000000..ec098ff55 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr37924.c @@ -0,0 +1,50 @@ +/* PR c/37924 */ + +extern void abort (void); + +signed char a; +unsigned char b; + +int +test1 (void) +{ + int c = -1; + return ((unsigned int) (a ^ c)) >> 9; +} + +int +test2 (void) +{ + int c = -1; + return ((unsigned int) (b ^ c)) >> 9; +} + +int +main (void) +{ + a = 0; + if (test1 () != (-1U >> 9)) + abort (); + a = 0x40; + if (test1 () != (-1U >> 9)) + abort (); + a = 0x80; + if (test1 () != (a < 0) ? 0 : (-1U >> 9)) + abort (); + a = 0xff; + if (test1 () != (a < 0) ? 0 : (-1U >> 9)) + abort (); + b = 0; + if (test2 () != (-1U >> 9)) + abort (); + b = 0x40; + if (test2 () != (-1U >> 9)) + abort (); + b = 0x80; + if (test2 () != (-1U >> 9)) + abort (); + b = 0xff; + if (test2 () != (-1U >> 9)) + abort (); + return 0; +} |