From 34e68c86fb3567f1046c4136bfec656387029613 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Tue, 12 Feb 2002 21:33:12 +0000 Subject: [PATCH] * gcc.dg/c90-const-expr-3.c, gcc.dg/c99-const-expr-3.c: New tests. From-SVN: r49712 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/c90-const-expr-3.c | 39 +++++++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/c99-const-expr-3.c | 39 +++++++++++++++++++++++++++++++++ 3 files changed, 82 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/c90-const-expr-3.c create mode 100644 gcc/testsuite/gcc.dg/c99-const-expr-3.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6c9f84f..2d3c713 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2002-02-12 Joseph S. Myers + + * gcc.dg/c90-const-expr-3.c, gcc.dg/c99-const-expr-3.c: New tests. + 2002-02-12 Neil Booth * gcc.dg/decl-1.c: New test. diff --git a/gcc/testsuite/gcc.dg/c90-const-expr-3.c b/gcc/testsuite/gcc.dg/c90-const-expr-3.c new file mode 100644 index 0000000..9872843 --- /dev/null +++ b/gcc/testsuite/gcc.dg/c90-const-expr-3.c @@ -0,0 +1,39 @@ +/* Test for constant expressions: broken optimization with const variables. */ +/* Origin: Joseph Myers */ +/* { dg-do compile } */ +/* { dg-options "-std=iso9899:1990 -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); +} 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 */ +/* { 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); +} -- 2.7.4