re PR c/42262 (internal compiler error: in set_designator, at c-typeck.c:5771)

	PR c/42262
c:
	* c-typeck.c (process_init_element): Do not treat a string as
	initializing a whole array when used with a designator for an
	individual element.

testsuite:
	* gcc.dg/c99-init-5.c, gcc.dg/c99-init-6.c: New tests.

From-SVN: r205543

gcc/c/ChangeLog

 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
 
+	PR c/42262
+	* c-typeck.c (process_init_element): Do not treat a string as
+	initializing a whole array when used with a designator for an
+	individual element.
+
+2013-11-29  Joseph Myers  <joseph@codesourcery.com>
+
 	PR c/57574
 	* c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of
 	an inline function following a static declaration.

gcc/c/c-typeck.c

@@ -8504,6 +8504,7 @@ process_init_element (struct c_expr value, bool implicit,
   tree orig_value = value.value;
   int string_flag = orig_value != 0 && TREE_CODE (orig_value) == STRING_CST;
   bool strict_string = value.original_code == STRING_CST;
+  bool was_designated = designator_depth != 0;
 
   designator_depth = 0;
   designator_erroneous = 0;
@@ -8512,6 +8513,7 @@ process_init_element (struct c_expr value, bool implicit,
      char x[] = {"foo"}; */
   if (string_flag
       && constructor_type
+      && !was_designated
       && TREE_CODE (constructor_type) == ARRAY_TYPE
       && INTEGRAL_TYPE_P (TREE_TYPE (constructor_type))
       && integer_zerop (constructor_unfilled_index))

gcc/testsuite/ChangeLog

+2013-11-29  Joseph Myers  <joseph@codesourcery.com>
+
+	PR c/42262
+	* gcc.dg/c99-init-5.c, gcc.dg/c99-init-6.c: New tests.
+
 2013-11-29  H.J. Lu  <hongjiu.lu@intel.com>
 
 	* lib/asan-dg.exp (asan_link_flags): Properly add path to

gcc/testsuite/gcc.dg/c99-init-5.c

+/* Test for designated initializers: string constants used with
+   designator in character array should not initialize the array as a
+   whole.  */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
+
+char g[] = { [7] = "abcd" }; /* { dg-error "initial" } */
+char h[10][10] = { [1][1] = "abcd" }; /* { dg-error "initial" } */
+char i[10][10] = { [1] = "abcd" };

gcc/testsuite/gcc.dg/c99-init-6.c

+/* Test for designated initializers: invalid uses of string constants
+   should not ICE.  PR 42262.  */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
+
+int a[] = { [0 ... 1] = "", [0] = "" }; /* { dg-error "initial" } */