From 1fcbbcd34f1442d90984f790d44a402f934e035c Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Wed, 9 Aug 2000 02:05:09 +0100 Subject: [PATCH] * gcc.dg/c90-const-expr-1.c: New test. From-SVN: r35577 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/c90-const-expr-1.c | 23 +++++++++++++++++++++++ 2 files changed, 27 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/c90-const-expr-1.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7d0b0a170a4..6fed580e976 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-08-09 Joseph S. Myers + + * gcc.dg/c90-const-expr-1.c: New test. + 2000-08-08 Richard Henderson * gcc.dg/noncompile/920923-1.c: Declare calloc. diff --git a/gcc/testsuite/gcc.dg/c90-const-expr-1.c b/gcc/testsuite/gcc.dg/c90-const-expr-1.c new file mode 100644 index 00000000000..96d19ee8164 --- /dev/null +++ b/gcc/testsuite/gcc.dg/c90-const-expr-1.c @@ -0,0 +1,23 @@ +/* Test for constraints on constant expressions. In C90 it is clear that + certain constructs are not permitted in unevaluated parts of an + expression (except in sizeof); in C99 it might fall within implementation + latitude. +*/ +/* Origin: Joseph Myers ; inspired by + http://deja.com/getdoc.xp?AN=524271595&fmt=text by Peter Seebach. +*/ +/* { dg-do compile } */ +/* { dg-options "-std=iso9899:1990 -pedantic-errors" } */ + +extern int bar (void); + +void +foo (void) +{ + int i; + static int j = (1 ? 0 : (i = 2)); /* { dg-error "initial" "assignment" { xfail *-*-* } } */ + static int k = (1 ? 0 : ++i); /* { dg-error "initial" "increment" { xfail *-*-* } } */ + static int l = (1 ? 0 : --i); /* { dg-error "initial" "decrement" { xfail *-*-* } } */ + static int m = (1 ? 0 : bar ()); /* { dg-error "initial" "function call" { xfail *-*-* } } */ + static int n = (1 ? 0 : (2, 3)); /* { dg-error "initial" "comma" { xfail *-*-* } } */ +} -- 2.30.2