OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR c/37481 (-pedantic accepts flexible array member = "string" initialization)

Browse Source 
PR c/37481
	* c-typeck.c (digest_init): Check for initializing an array with a
	string literal.

testsuite:
	* gcc.dg/c99-flex-array-7.c: New test.

From-SVN: r146359
This commit is contained in:
Joseph Myers 2009-04-19 21:38:53 +01:00 committed by Joseph Myers
parent 20845d3582
commit a45e580b25
4 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2009-04-19 Joseph Myers <joseph@codesourcery.com>
PR c/37481
* c-typeck.c (digest_init): Check for initializing an array with a
string literal.
2009-04-19 Joseph Myers <joseph@codesourcery.com>
PR c/19771

4
gcc/c-typeck.c
View File

@ -5254,6 +5254,10 @@ digest_init (tree type, tree init, bool null_pointer_constant,
expr.original_type = NULL;
maybe_warn_string_init (type, expr);
if (TYPE_DOMAIN (type) && !TYPE_MAX_VALUE (TYPE_DOMAIN (type)))
pedwarn_init (input_location, OPT_pedantic,
"initialization of a flexible array member");
if (comptypes (TYPE_MAIN_VARIANT (TREE_TYPE (inside_init)),
TYPE_MAIN_VARIANT (type)))
return inside_init;

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2009-04-19 Joseph Myers <joseph@codesourcery.com>
PR c/37481
* gcc.dg/c99-flex-array-7.c: New test.
2009-04-19 Joseph Myers <joseph@codesourcery.com>
PR c/19771

17
gcc/testsuite/gcc.dg/c99-flex-array-7.c Normal file
View File

@ -0,0 +1,17 @@
/* Initialization of a flexible array member with a string constant
must be diagnosed. PR 37481. */
/* { dg-do compile } */
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
struct s { int a; char b[]; };
struct s a = { 0, "" }; /* { dg-error "initialization of a flexible array member" } */
/* { dg-error "near init" "near init" { target *-*-* } 8 } */
struct s b = { 0, { 0 } }; /* { dg-error "initialization of a flexible array member" } */
/* { dg-error "near init" "near init" { target *-*-* } 10 } */
struct s c = { 0, { } }; /* { dg-error "ISO C forbids empty initializer braces" } */
struct s d = { .b = "" }; /* { dg-error "initialization of a flexible array member" } */
/* { dg-error "near init" "near init" { target *-*-* } 13 } */
struct s e = { .b = { 0 } }; /* { dg-error "initialization of a flexible array member" } */
/* { dg-error "near init" "near init" { target *-*-* } 15 } */
struct s f = { .b = { } }; /* { dg-error "ISO C forbids empty initializer braces" } */