c-typeck.c (set_init_index): Require designator to be of integer type.

	* c-typeck.c (set_init_index): Require designator to be of integer
	type.

testsuite:
	* gcc.dg/c99-init-3.c, gcc.dg/gnu99-init-2.c: New tests.
	* gcc.dg/noncompile/921102-1.c: Update expected error message.

From-SVN: r85023

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 16fa6573ca820c1a9eae3d8f5cff66e3c36fa18f..00f2261e63f1131bb2443c90497641560d70798d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-07-22  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * c-typeck.c (set_init_index): Require designator to be of integer
+       type.
+
 2004-07-22  Joseph S. Myers  <jsm@polyomino.org.uk>
 
        PR c/11250

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 9c22b8b0cf0d7f85ad625ebf9c8f8f8bc9655486..04ed0684dbe4d2e92b3c335eb5a9fb8650561fe0 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -4956,6 +4956,13 @@ set_init_index (tree first, tree last)
 
   designator_errorneous = 1;
 
+  if (!INTEGRAL_TYPE_P (TREE_TYPE (first))
+      || (last && !INTEGRAL_TYPE_P (TREE_TYPE (last))))
+    {
+      error_init ("array index in initializer not of integer type");
+      return;
+    }
+
   while ((TREE_CODE (first) == NOP_EXPR
          || TREE_CODE (first) == CONVERT_EXPR
          || TREE_CODE (first) == NON_LVALUE_EXPR)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d199ab1228bb394e99772311dd11d3e54a0215a6..b03d923cd217e499e656735be0fdb869e931213e 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-07-22  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * gcc.dg/c99-init-3.c, gcc.dg/gnu99-init-2.c: New tests.
+       * gcc.dg/noncompile/921102-1.c: Update expected error message.
+
 2004-07-22  Joseph S. Myers  <jsm@polyomino.org.uk>
 
        PR c/11250

diff --git a/gcc/testsuite/gcc.dg/c99-init-3.c b/gcc/testsuite/gcc.dg/c99-init-3.c
new file mode 100644 (file)
index 0000000..9aca19a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c99-init-3.c
@@ -0,0 +1,8 @@
+/* Test for designated initializers: array designators must be of
+   integer type.  */
+/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
+
+int a[] = { [(void *)0] = 1 }; /* { dg-bogus "warning" "warning in place of error" } */
+/* { dg-error "integer type|near init" "pointer designator"  { target *-*-* } 7 } */

diff --git a/gcc/testsuite/gcc.dg/gnu99-init-2.c b/gcc/testsuite/gcc.dg/gnu99-init-2.c
new file mode 100644 (file)
index 0000000..a4728a6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/gnu99-init-2.c
@@ -0,0 +1,11 @@
+/* Test for designated initializers: array designators must be of
+   integer type.  Test for index ranges (GNU extension).  */
+/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
+/* { dg-do compile } */
+/* { dg-options "-std=gnu99" } */
+
+int a[] = { [(void *)0 ... 0] = 1 }; /* { dg-bogus "warning" "warning in place of error" } */
+/* { dg-error "integer type|near init" "pointer designator"  { target *-*-* } 7 } */
+
+int b[] = { [0 ... (void *)0] = 1 }; /* { dg-bogus "warning" "warning in place of error" } */
+/* { dg-error "integer type|near init" "pointer designator"  { target *-*-* } 10 } */

diff --git a/gcc/testsuite/gcc.dg/noncompile/921102-1.c b/gcc/testsuite/gcc.dg/noncompile/921102-1.c
index 8b66f712ef727565a1b64f63922f6d3d3855ffef..ef04b1b2aae301cb2463b331166556aa8bc379d6 100644 (file)
--- a/gcc/testsuite/gcc.dg/noncompile/921102-1.c
+++ b/gcc/testsuite/gcc.dg/noncompile/921102-1.c
@@ -1 +1 @@
-int x[]={[0.3 ... 4.6]9}; /* { dg-error "nonconstant array|near init" } */
+int x[]={[0.3 ... 4.6]9}; /* { dg-error "not of integer type|near init" } */