diff options
| author | Richard Henderson <rth@gcc.gnu.org> | 2002-06-14 17:43:20 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2002-06-14 17:43:20 -0700 |
| commit | 0b0b07504cd9fa9f95bbdb88a2a555960399713c (patch) | |
| tree | cb43c98a6b0a85672d8d8ac92995e13c0a249962 | |
| parent | 52689a988b47f178d94b49099d61dcb16ca480ab (diff) | |
| download | gcc-0b0b07504cd9fa9f95bbdb88a2a555960399713c.zip gcc-0b0b07504cd9fa9f95bbdb88a2a555960399713c.tar.gz gcc-0b0b07504cd9fa9f95bbdb88a2a555960399713c.tar.bz2 | |
New.
From-SVN: r54630
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20020614-1.c | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/20020614-1.c b/gcc/testsuite/gcc.c-torture/execute/20020614-1.c new file mode 100644 index 0000000..bcbaed8 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20020614-1.c @@ -0,0 +1,41 @@ +/* PR c/6677 */ +/* Verify that GCC doesn't perform illegal simplifications + when folding constants. */ + +#include <limits.h> + +extern void abort (void); +extern void exit (int); + +int main (void) +{ + int i; + signed char j; + unsigned char k; + + i = SCHAR_MAX; + + j = ((signed char) (i << 1)) / 2; + + if (j != -1) + abort(); + + j = ((signed char) (i * 2)) / 2; + + if (j != -1) + abort(); + + i = UCHAR_MAX; + + k = ((unsigned char) (i << 1)) / 2; + + if (k != UCHAR_MAX/2) + abort(); + + k = ((unsigned char) (i * 2)) / 2; + + if (k != UCHAR_MAX/2) + abort(); + + exit(0); +} |