diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2002-02-12 21:33:12 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2002-02-12 21:33:12 +0000 |
| commit | 34e68c86fb3567f1046c4136bfec656387029613 (patch) | |
| tree | 8c30e0a5877dc5077c07ee2484a371abbfed5afc /gcc/testsuite/gcc.dg/c99-const-expr-3.c | |
| parent | fc209487c0f969cef2e13f40fa2e0558b2b21322 (diff) | |
| download | gcc-34e68c86fb3567f1046c4136bfec656387029613.zip gcc-34e68c86fb3567f1046c4136bfec656387029613.tar.gz gcc-34e68c86fb3567f1046c4136bfec656387029613.tar.bz2 | |
* gcc.dg/c90-const-expr-3.c, gcc.dg/c99-const-expr-3.c: New tests.
From-SVN: r49712
Diffstat (limited to 'gcc/testsuite/gcc.dg/c99-const-expr-3.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/c99-const-expr-3.c | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/c99-const-expr-3.c b/gcc/testsuite/gcc.dg/c99-const-expr-3.c new file mode 100644 index 0000000..7490f62 --- /dev/null +++ b/gcc/testsuite/gcc.dg/c99-const-expr-3.c @@ -0,0 +1,39 @@ +/* Test for constant expressions: broken optimization with const variables. */ +/* Origin: Joseph Myers <jsm28@cam.ac.uk> */ +/* { dg-do compile } */ +/* { dg-options "-std=iso9899:1999 -O2" } */ +/* Note: not using -pedantic since the -std option alone should be enough + to give the correct behavior to conforming programs. */ + +static const int ZERO = 0; + +int *a; +int b; +long *c; + +/* Assertion that n is a constant zero: so the conditional expression + has type 'int *' instead of 'void *'. +*/ +#define ASSERT_NPC(n) (b = *(1 ? a : (n))) +/* Assertion that n is not a constant zero: so the conditional + expresions has type 'void *' instead of 'int *'. +*/ +#define ASSERT_NOT_NPC(n) (c = (1 ? a : (void *)(__SIZE_TYPE__)(n))) + +void +foo (void) +{ + ASSERT_NPC (0); + ASSERT_NOT_NPC (ZERO); + ASSERT_NPC (0 + 0); + ASSERT_NOT_NPC (ZERO + 0); /* { dg-bogus "incompatible" "bogus null pointer constant" { xfail *-*-* } } */ + ASSERT_NOT_NPC (ZERO + ZERO); /* { dg-bogus "incompatible" "bogus null pointer constant" { xfail *-*-* } } */ + ASSERT_NPC (+0); + ASSERT_NOT_NPC (+ZERO); /* { dg-bogus "incompatible" "bogus null pointer constant" { xfail *-*-* } } */ + ASSERT_NPC (-0); + ASSERT_NOT_NPC (-ZERO); /* { dg-bogus "incompatible" "bogus null pointer constant" { xfail *-*-* } } */ + ASSERT_NPC ((char) 0); + ASSERT_NOT_NPC ((char) ZERO); + ASSERT_NPC ((int) 0); + ASSERT_NOT_NPC ((int) ZERO); +} |