* gcc.dg/c90-const-expr-1.c: New test.

From-SVN: r35577
This commit is contained in:
Joseph Myers 2000-08-09 02:05:09 +01:00 committed by Joseph Myers
parent 89abf8d1d7
commit 1fcbbcd34f
2 changed files with 27 additions and 0 deletions

View File

@ -1,3 +1,7 @@
2000-08-09 Joseph S. Myers <jsm28@cam.ac.uk>
* gcc.dg/c90-const-expr-1.c: New test.
2000-08-08 Richard Henderson <rth@cygnus.com>
* gcc.dg/noncompile/920923-1.c: Declare calloc.

View File

@ -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 <jsm28@cam.ac.uk>; 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 *-*-* } } */
}