diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2000-08-15 19:08:04 +0100 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2000-08-15 19:08:04 +0100 |
| commit | 7300c8eb641ad10cc9a0833862c340c9d4843013 (patch) | |
| tree | b9b1e29df44d6b796427579573476a26f94ff045 /gcc/testsuite/gcc.dg/c99-const-expr-2.c | |
| parent | 7791b7f9085333387ff2d9eaa90f79995c511cb6 (diff) | |
| download | gcc-7300c8eb641ad10cc9a0833862c340c9d4843013.zip gcc-7300c8eb641ad10cc9a0833862c340c9d4843013.tar.gz gcc-7300c8eb641ad10cc9a0833862c340c9d4843013.tar.bz2 | |
c90-array-lval-2.c, [...]: New tests.
* gcc.dg/c90-array-lval-2.c, gcc.dg/c90-const-expr-2.c,
gcc.dg/c99-array-lval-2.c, gcc.dg/c99-const-expr-2.c,
gcc.dg/c99-func-3.c, gcc.dg/c99-func-4.c: New tests.
From-SVN: r35728
Diffstat (limited to 'gcc/testsuite/gcc.dg/c99-const-expr-2.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/c99-const-expr-2.c | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/c99-const-expr-2.c b/gcc/testsuite/gcc.dg/c99-const-expr-2.c new file mode 100644 index 0000000..03422b6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/c99-const-expr-2.c @@ -0,0 +1,36 @@ +/* Test for constant expressions: details of what is a null pointer + constant. +*/ +/* Origin: Joseph Myers <jsm28@cam.ac.uk> */ +/* { dg-do compile } */ +/* { dg-options "-std=iso9899:1999" } */ +/* Note: not using -pedantic since the -std option alone should be enough + to give the correct behavior to conforming programs. If -pedantic is + needed to make (say) (0, 0) not be a constant expression, this is a + bug. +*/ + +int *a; +int b; +long *c; + +/* Assertion that n is a null pointer constant: so the conditional expression + has type 'int *' instead of 'void *'. +*/ +#define ASSERT_NPC(n) (b = *(1 ? a : (n))) +/* Assertion that n is not a null pointer constant: so the conditional + expresions has type 'void *' instead of 'int *'. +*/ +#define ASSERT_NOT_NPC(n) (c = (1 ? a : (n))) + +void +foo (void) +{ + ASSERT_NPC (0); + ASSERT_NPC ((void *)0); + ASSERT_NOT_NPC ((void *)(void *)0); /* { dg-bogus "incompatible" "bogus null pointer constant" { xfail *-*-* } } */ + ASSERT_NOT_NPC ((void *)(char *)0); /* { dg-bogus "incompatible" "bogus null pointer constant" { xfail *-*-* } } */ + ASSERT_NOT_NPC ((void *)(0, 0)); /* { dg-bogus "incompatible" "bogus null pointer constant" { xfail *-*-* } } */ + /* This last one is a null pointer constant in C99 only. */ + ASSERT_NPC ((void *)(1 ? 0 : (0, 0))); +} |