1 files changed, 55 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/c90-const-expr-6.c b/gcc-4.9/gcc/testsuite/gcc.dg/c90-const-expr-6.c
new file mode 100644
index 000000000..50239ce2e
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.dg/c90-const-expr-6.c
@@ -0,0 +1,55 @@
+/* Test for constant expressions: operands and casts not permitted in
+   integer constant expressions.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1990 -pedantic-errors" } */
+
+__extension__ typedef __INTPTR_TYPE__ intptr_t;
+
+/* PR 29116.  */
+int n = 0, p[n * 0 + 1]; /* { dg-error "variabl|can't be evaluated" } */
+
+/* PR 31871.  */
+extern int c[1 + ((intptr_t) (void *) 0)]; /* { dg-error "variab|can't be evaluated" } */
+
+/* Implicit conversions from floating-point constants are not OK,
+   although explicit ones are.  */
+extern int c1[1.0 ? 1 : 0]; /* { dg-error "variab|can't be evaluated" } */
+
+extern int c2[(int)1.0 ? 1 : 0];
+
+extern int c3[1.0 && 1]; /* { dg-error "variab|can't be evaluated" } */
+
+extern int c4[(int)1.0 && 1];
+
+extern int c5[1.0 || 1]; /* { dg-error "variab|can't be evaluated" } */
+
+extern int c6[(int)1.0 || 1];
+
+/* Similar with various other cases where integer constant expressions
+   are required.  */
+
+struct s {
+  int a : (n * 0 + 1); /* { dg-error "constant" } */
+};
+
+enum e {
+  E = (1 + ((intptr_t) (void *) 0)), /* { dg-error "constant" } */
+  E2 = 0
+};
+
+enum f {
+  F = (1 ? 1 : n), /* { dg-error "constant" } */
+  F2 = 0
+};
+
+void
+f (int a)
+{
+  int v[1 + ((intptr_t) (void *) 0)]; /* { dg-error "variab|can't be evaluated" } */
+  switch (a)
+    {
+    case (n * 0 + 1): /* { dg-error "constant" } */
+      ;
+    }
+}