* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@85023 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 16fa657..00f2261 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2004-07-22  Joseph S. Myers  <jsm@polyomino.org.uk>
 
 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
        * c-parse.in (init): Change to exprtype.
        (primary): Set original_code for STRING to STRING_CST.
        PR c/11250
        * c-parse.in (init): Change to exprtype.
        (primary): Set original_code for STRING to STRING_CST.

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 9c22b8b..04ed068 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;
 
 
   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)
   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 d199ab1..b03d923 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 2004-07-22  Joseph S. Myers  <jsm@polyomino.org.uk>
 
 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
        * gcc.dg/init-string-1.c: New test.
 
        PR c/11250
        * gcc.dg/init-string-1.c: New test.
 

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 8b66f71..ef04b1b 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" } */