From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out1.suse.de (smtp-out1.suse.de [195.135.220.28]) by sourceware.org (Postfix) with ESMTPS id E2AD03858C5F for ; Fri, 13 Jan 2023 07:00:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E2AD03858C5F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=suse.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.de Received: from relay2.suse.de (relay2.suse.de [149.44.160.134]) by smtp-out1.suse.de (Postfix) with ESMTP id A19BA4E60A; Fri, 13 Jan 2023 07:00:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_rsa; t=1673593224; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=uGYlBZIHWbuYG74QWoiK6gOGniE1cpA/3rqThSZkUvE=; b=Yq1NT81ew1oAELUYMMppZocb9RRgThV7D2BQ7HwH9Bil2uHGd/ID7Fs57pQSr3trPldIFC XqjXknPfj4IJi1sFjZxmKIblQWEc009vmFdSHRo4NQaYAhTPzLWwDnnfpvQ8NndZvvV4lb CBb31lnfwbNrfHtVh5dtKPKJAkmzbwo= DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_ed25519; t=1673593224; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=uGYlBZIHWbuYG74QWoiK6gOGniE1cpA/3rqThSZkUvE=; b=cbmohnEoo3ALCfg++ZjEOezxtUB8dfJpw9DKPEZaj4tBccHSZEUnJt9F0KWc6M8rWZrtah 3WiQd/gcb/90lKBg== Received: from wotan.suse.de (wotan.suse.de [10.160.0.1]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by relay2.suse.de (Postfix) with ESMTPS id 9AB1E2C141; Fri, 13 Jan 2023 07:00:24 +0000 (UTC) Date: Fri, 13 Jan 2023 07:00:24 +0000 (UTC) From: Richard Biener To: Qing Zhao cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH 1/1] Replace flag_strict_flex_arrays with DECL_NOT_FLEXARRAY in middle-end In-Reply-To: <20230112230406.2023047-2-qing.zhao@oracle.com> Message-ID: References: <20230112230406.2023047-1-qing.zhao@oracle.com> <20230112230406.2023047-2-qing.zhao@oracle.com> User-Agent: Alpine 2.22 (LSU 394 2020-01-19) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Spam-Status: No, score=-11.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Thu, 12 Jan 2023, Qing Zhao wrote: > We should not directly check flag_strict_flex_arrays in the middle end. > Instead, check DECL_NOT_FLEXARRAY(array_field_decl) which is set by > C/C++ FEs according to -fstrict-flex-arrays and the corresponding attribute > attached to the array_field. > > As a result, We will lose the LEVEL information of -fstrict-flex-arrays in > the middle end. -Wstrict-flex-arrays will not be able to issue such > information. update the testing cases accordingly. OK. Thanks, Richard. > gcc/ChangeLog: > > * attribs.cc (strict_flex_array_level_of): Move this function to ... > * attribs.h (strict_flex_array_level_of): Remove the declaration. > * gimple-array-bounds.cc (array_bounds_checker::check_array_ref): > replace the referece to strict_flex_array_level_of with > DECL_NOT_FLEXARRAY. > * tree.cc (component_ref_size): Likewise. > > gcc/c/ChangeLog: > > * c-decl.cc (strict_flex_array_level_of): ... here. > > gcc/testsuite/ChangeLog: > > * gcc.dg/Warray-bounds-flex-arrays-1.c: Delete the level information > from the message issued by -Wstrict-flex-arrays. > * gcc.dg/Warray-bounds-flex-arrays-2.c: Likewise. > * gcc.dg/Warray-bounds-flex-arrays-3.c: Likewise. > * gcc.dg/Warray-bounds-flex-arrays-4.c: Likewise. > * gcc.dg/Warray-bounds-flex-arrays-5.c: Likewise. > * gcc.dg/Warray-bounds-flex-arrays-6.c: Likewise. > * gcc.dg/Wstrict-flex-arrays-2.c: Likewise. > * gcc.dg/Wstrict-flex-arrays-3.c: Likewise. > * gcc.dg/Wstrict-flex-arrays.c: Likewise. > --- > gcc/attribs.cc | 30 ------------ > gcc/attribs.h | 2 - > gcc/c/c-decl.cc | 28 +++++++++++ > gcc/gimple-array-bounds.cc | 46 ++++--------------- > .../gcc.dg/Warray-bounds-flex-arrays-1.c | 2 +- > .../gcc.dg/Warray-bounds-flex-arrays-2.c | 4 +- > .../gcc.dg/Warray-bounds-flex-arrays-3.c | 6 +-- > .../gcc.dg/Warray-bounds-flex-arrays-4.c | 2 +- > .../gcc.dg/Warray-bounds-flex-arrays-5.c | 4 +- > .../gcc.dg/Warray-bounds-flex-arrays-6.c | 6 +-- > gcc/testsuite/gcc.dg/Wstrict-flex-arrays-2.c | 8 ++-- > gcc/testsuite/gcc.dg/Wstrict-flex-arrays-3.c | 8 ++-- > gcc/testsuite/gcc.dg/Wstrict-flex-arrays.c | 8 ++-- > gcc/tree.cc | 37 +++------------ > 14 files changed, 68 insertions(+), 123 deletions(-) > > diff --git a/gcc/attribs.cc b/gcc/attribs.cc > index 49cb299a3c1..7db730cf831 100644 > --- a/gcc/attribs.cc > +++ b/gcc/attribs.cc > @@ -2456,36 +2456,6 @@ init_attr_rdwr_indices (rdwr_map *rwm, tree attrs) > } > } > > -/* Get the LEVEL of the strict_flex_array for the ARRAY_FIELD based on the > - values of attribute strict_flex_array and the flag_strict_flex_arrays. */ > -unsigned int > -strict_flex_array_level_of (tree array_field) > -{ > - gcc_assert (TREE_CODE (array_field) == FIELD_DECL); > - unsigned int strict_flex_array_level = flag_strict_flex_arrays; > - > - tree attr_strict_flex_array > - = lookup_attribute ("strict_flex_array", DECL_ATTRIBUTES (array_field)); > - /* If there is a strict_flex_array attribute attached to the field, > - override the flag_strict_flex_arrays. */ > - if (attr_strict_flex_array) > - { > - /* Get the value of the level first from the attribute. */ > - unsigned HOST_WIDE_INT attr_strict_flex_array_level = 0; > - gcc_assert (TREE_VALUE (attr_strict_flex_array) != NULL_TREE); > - attr_strict_flex_array = TREE_VALUE (attr_strict_flex_array); > - gcc_assert (TREE_VALUE (attr_strict_flex_array) != NULL_TREE); > - attr_strict_flex_array = TREE_VALUE (attr_strict_flex_array); > - gcc_assert (tree_fits_uhwi_p (attr_strict_flex_array)); > - attr_strict_flex_array_level = tree_to_uhwi (attr_strict_flex_array); > - > - /* The attribute has higher priority than flag_struct_flex_array. */ > - strict_flex_array_level = attr_strict_flex_array_level; > - } > - return strict_flex_array_level; > -} > - > - > /* Return the access specification for a function parameter PARM > or null if the current function has no such specification. */ > > diff --git a/gcc/attribs.h b/gcc/attribs.h > index e7540f71d6a..140e70b64e0 100644 > --- a/gcc/attribs.h > +++ b/gcc/attribs.h > @@ -398,6 +398,4 @@ extern void init_attr_rdwr_indices (rdwr_map *, tree); > extern attr_access *get_parm_access (rdwr_map &, tree, > tree = current_function_decl); > > -extern unsigned int strict_flex_array_level_of (tree); > - > #endif // GCC_ATTRIBS_H > diff --git a/gcc/c/c-decl.cc b/gcc/c/c-decl.cc > index d76ffb3380d..38647c100c1 100644 > --- a/gcc/c/c-decl.cc > +++ b/gcc/c/c-decl.cc > @@ -9047,6 +9047,34 @@ finish_incomplete_vars (tree incomplete_vars, bool toplevel) > } > } > > +/* Get the LEVEL of the strict_flex_array for the ARRAY_FIELD based on the > + values of attribute strict_flex_array and the flag_strict_flex_arrays. */ > +static unsigned int > +strict_flex_array_level_of (tree array_field) > +{ > + gcc_assert (TREE_CODE (array_field) == FIELD_DECL); > + unsigned int strict_flex_array_level = flag_strict_flex_arrays; > + > + tree attr_strict_flex_array > + = lookup_attribute ("strict_flex_array", DECL_ATTRIBUTES (array_field)); > + /* If there is a strict_flex_array attribute attached to the field, > + override the flag_strict_flex_arrays. */ > + if (attr_strict_flex_array) > + { > + /* Get the value of the level first from the attribute. */ > + unsigned HOST_WIDE_INT attr_strict_flex_array_level = 0; > + gcc_assert (TREE_VALUE (attr_strict_flex_array) != NULL_TREE); > + attr_strict_flex_array = TREE_VALUE (attr_strict_flex_array); > + gcc_assert (TREE_VALUE (attr_strict_flex_array) != NULL_TREE); > + attr_strict_flex_array = TREE_VALUE (attr_strict_flex_array); > + gcc_assert (tree_fits_uhwi_p (attr_strict_flex_array)); > + attr_strict_flex_array_level = tree_to_uhwi (attr_strict_flex_array); > + > + /* The attribute has higher priority than flag_struct_flex_array. */ > + strict_flex_array_level = attr_strict_flex_array_level; > + } > + return strict_flex_array_level; > +} > > /* Determine whether the FIELD_DECL X is a flexible array member according to > the following info: > diff --git a/gcc/gimple-array-bounds.cc b/gcc/gimple-array-bounds.cc > index 116200a317f..66fd46e9b6c 100644 > --- a/gcc/gimple-array-bounds.cc > +++ b/gcc/gimple-array-bounds.cc > @@ -350,18 +350,14 @@ array_bounds_checker::check_array_ref (location_t location, tree ref, > > /* Set to the type of the special array member for a COMPONENT_REF. */ > special_array_member sam{ }; > - > + tree afield_decl = NULL_TREE; > tree arg = TREE_OPERAND (ref, 0); > - const bool compref = TREE_CODE (arg) == COMPONENT_REF; > - unsigned int strict_flex_array_level = flag_strict_flex_arrays; > > - if (compref) > + if (TREE_CODE (arg) == COMPONENT_REF) > { > /* Try to determine special array member type for this COMPONENT_REF. */ > sam = component_ref_sam_type (arg); > - /* Get the level of strict_flex_array for this array field. */ > - tree afield_decl = TREE_OPERAND (arg, 1); > - strict_flex_array_level = strict_flex_array_level_of (afield_decl); > + afield_decl = TREE_OPERAND (arg, 1); > } > > get_up_bounds_for_array_ref (ref, &decl, &up_bound, &up_bound_p1); > @@ -412,39 +408,15 @@ array_bounds_checker::check_array_ref (location_t location, tree ref, > > /* issue warnings for -Wstrict-flex-arrays according to the level of > flag_strict_flex_arrays. */ > - if (out_of_bound && warn_strict_flex_arrays) > - switch (strict_flex_array_level) > - { > - case 3: > - /* Issue additional warnings for trailing arrays [0]. */ > - if (sam == special_array_member::trail_0) > + if ((out_of_bound && warn_strict_flex_arrays) > + && (((sam == special_array_member::trail_0) > + || (sam == special_array_member::trail_1) > + || (sam == special_array_member::trail_n)) > + && DECL_NOT_FLEXARRAY (afield_decl))) > warned = warning_at (location, OPT_Wstrict_flex_arrays, > "trailing array %qT should not be used as " > - "a flexible array member for level 3", > + "a flexible array member", > artype); > - /* FALLTHROUGH. */ > - case 2: > - /* Issue additional warnings for trailing arrays [1]. */ > - if (sam == special_array_member::trail_1) > - warned = warning_at (location, OPT_Wstrict_flex_arrays, > - "trailing array %qT should not be used as " > - "a flexible array member for level 2 and " > - "above", artype); > - /* FALLTHROUGH. */ > - case 1: > - /* Issue warnings for trailing arrays [n]. */ > - if (sam == special_array_member::trail_n) > - warned = warning_at (location, OPT_Wstrict_flex_arrays, > - "trailing array %qT should not be used as " > - "a flexible array member for level 1 and " > - "above", artype); > - break; > - case 0: > - /* Do nothing. */ > - break; > - default: > - gcc_unreachable (); > - } > > /* Avoid more warnings when checking more significant subscripts > of the same expression. */ > diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-1.c b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-1.c > index 65c9fec43af..fd2aacf6452 100644 > --- a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-1.c > +++ b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-1.c > @@ -32,7 +32,7 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_4 *trailing_flex) > { > normal->c[5] = 5; /*{ dg-warning "array subscript 5 is above array bounds of" } */ > - /*{ dg-warning "should not be used as a flexible array member for level 1 and above" "" { target *-*-* } .-1 } */ > + /*{ dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_1->c[2] = 2; /* { dg-bogus "array subscript " } */ > trailing_0->c[1] = 1; /* { dg-bogus "array subscript " } */ > trailing_flex->c[10] = 10; /* { dg-bogus "array subscript " } */ > diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c > index 2b5a895c598..55b7535424b 100644 > --- a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c > +++ b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c > @@ -32,9 +32,9 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_4 *trailing_flex) > { > normal->c[5] = 5; /*{ dg-warning "array subscript 5 is above array bounds of" } */ > - /*{ dg-warning "should not be used as a flexible array member for level 1 and above" "" { target *-*-* } .-1 } */ > + /*{ dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_1->c[2] = 2; /* { dg-warning "array subscript 2 is above array bounds of" } */ > - /* { dg-warning "should not be used as a flexible array member for level 2 and above" "" { target *-*-* } .-1 } */ > + /* { dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_0->c[1] = 1; /* { dg-bogus "array subscript " } */ > trailing_flex->c[10] = 10; /* { dg-bogus "array subscript " } */ > > diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-3.c b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-3.c > index 25b903f2615..abdf8f15c78 100644 > --- a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-3.c > +++ b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-3.c > @@ -32,11 +32,11 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_4 *trailing_flex) > { > normal->c[5] = 5; /*{ dg-warning "array subscript 5 is above array bounds of" } */ > - /*{ dg-warning "should not be used as a flexible array member for level 1 and above" "" { target *-*-* } .-1 } */ > + /*{ dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_1->c[2] = 2; /*{ dg-warning "array subscript 2 is above array bounds of" } */ > - /* { dg-warning "should not be used as a flexible array member for level 2 and above" "" { target *-*-* } .-1 } */ > + /* { dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_0->c[1] = 1; /*{ dg-warning "array subscript 1 is outside array bounds of" } */ > - /* { dg-warning "should not be used as a flexible array member for level 3" "" { target *-*-* } .-1 } */ > + /* { dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_flex->c[10] = 10; /* { dg-bogus "array subscript" } */ > > } > diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-4.c b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-4.c > index 5fc500a19ca..82b38ff1ad1 100644 > --- a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-4.c > +++ b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-4.c > @@ -32,7 +32,7 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_4 *trailing_flex) > { > normal->c[5] = 5; /*{ dg-warning "array subscript 5 is above array bounds of" } */ > - /*{ dg-warning "should not be used as a flexible array member for level 1 and above" "" { target *-*-* } .-1 } */ > + /*{ dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_1->c[2] = 2; /* { dg-bogus "array subscript " } */ > trailing_0->c[1] = 1; /* { dg-bogus "array subscript " } */ > trailing_flex->c[10] = 10; /* { dg-bogus "array subscript " } */ > diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-5.c b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-5.c > index 30bb4ca8832..dca02288be7 100644 > --- a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-5.c > +++ b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-5.c > @@ -32,9 +32,9 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_4 *trailing_flex) > { > normal->c[5] = 5; /*{ dg-warning "array subscript 5 is above array bounds of" } */ > - /*{ dg-warning "should not be used as a flexible array member for level 1 and above" "" { target *-*-* } .-1 } */ > + /*{ dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_1->c[2] = 2; /*{ dg-warning "array subscript 2 is above array bounds of" } */ > - /* { dg-warning "should not be used as a flexible array member for level 2 and above" "" { target *-*-* } .-1 } */ > + /* { dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_0->c[1] = 1; /* { dg-bogus "array subscript " } */ > trailing_flex->c[10] = 10; /* { dg-bogus "array subscript " } */ > > diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-6.c b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-6.c > index e847a44516e..fc9f73b4535 100644 > --- a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-6.c > +++ b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-6.c > @@ -32,11 +32,11 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_4 *trailing_flex) > { > normal->c[5] = 5; /*{ dg-warning "array subscript 5 is above array bounds of" } */ > - /*{ dg-warning "should not be used as a flexible array member for level 1 and above" "" { target *-*-* } .-1 } */ > + /*{ dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_1->c[2] = 2; /*{ dg-warning "array subscript 2 is above array bounds of" } */ > - /* { dg-warning "should not be used as a flexible array member for level 2 and above" "" { target *-*-* } .-1 } */ > + /* { dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_0->c[1] = 1; /*{ dg-warning "array subscript 1 is outside array bounds of" } */ > - /* { dg-warning "should not be used as a flexible array member for level 3" "" { target *-*-* } .-1 } */ > + /* { dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */ > trailing_flex->c[10] = 10; /* { dg-bogus "array subscript " } */ > > } > diff --git a/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-2.c b/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-2.c > index 2e241f96208..befc604f19b 100644 > --- a/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-2.c > +++ b/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-2.c > @@ -31,9 +31,9 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_3 *trailing_0, > struct trailing_array_4 *trailing_flex) > { > - normal->c[5] = 5; /*{ dg-warning "should not be used as a flexible array member for level 1 and above" } */ > - trailing_1->c[2] = 2; /* { dg-warning "should not be used as a flexible array member for level 2 and above" } */ > - trailing_0->c[1] = 1; /* { dg-bogus "should not be used as a flexible array member for level 2 and above" } */ > - trailing_flex->c[10] = 10; /* { dg-bogus "should not be used as a flexible array member for level 2 and above" } */ > + normal->c[5] = 5; /*{ dg-warning "should not be used as a flexible array member" } */ > + trailing_1->c[2] = 2; /* { dg-warning "should not be used as a flexible array member" } */ > + trailing_0->c[1] = 1; /* { dg-bogus "should not be used as a flexible array member" } */ > + trailing_flex->c[10] = 10; /* { dg-bogus "should not be used as a flexible array member" } */ > > } > diff --git a/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-3.c b/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-3.c > index 97eb65ba0a9..cc37a092c3e 100644 > --- a/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-3.c > +++ b/gcc/testsuite/gcc.dg/Wstrict-flex-arrays-3.c > @@ -31,9 +31,9 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_3 *trailing_0, > struct trailing_array_4 *trailing_flex) > { > - normal->c[5] = 5; /*{ dg-warning "should not be used as a flexible array member for level 1 and above" } */ > - trailing_1->c[2] = 2; /* { dg-warning "should not be used as a flexible array member for level 2 and above" } */ > - trailing_0->c[1] = 1; /* { dg-warning "should not be used as a flexible array member for level 3" } */ > - trailing_flex->c[10] = 10; /* { dg-bogus "should not be used as a flexible array member for level 3" } */ > + normal->c[5] = 5; /*{ dg-warning "should not be used as a flexible array member" } */ > + trailing_1->c[2] = 2; /* { dg-warning "should not be used as a flexible array member" } */ > + trailing_0->c[1] = 1; /* { dg-warning "should not be used as a flexible array member" } */ > + trailing_flex->c[10] = 10; /* { dg-bogus "should not be used as a flexible array member" } */ > > } > diff --git a/gcc/testsuite/gcc.dg/Wstrict-flex-arrays.c b/gcc/testsuite/gcc.dg/Wstrict-flex-arrays.c > index 110fdc72778..735b23a1dc6 100644 > --- a/gcc/testsuite/gcc.dg/Wstrict-flex-arrays.c > +++ b/gcc/testsuite/gcc.dg/Wstrict-flex-arrays.c > @@ -31,9 +31,9 @@ void __attribute__((__noinline__)) stuff( > struct trailing_array_3 *trailing_0, > struct trailing_array_4 *trailing_flex) > { > - normal->c[5] = 5; /*{ dg-warning "should not be used as a flexible array member for level 1 and above" } */ > - trailing_1->c[2] = 2; /* { dg-bogus "should not be used as a flexible array member for level 1 and above" } */ > - trailing_0->c[1] = 1; /* { dg-bogus "should not be used as a flexible array member for level 1 and above" } */ > - trailing_flex->c[10] = 10; /* { dg-bogus "should not be used as a flexible array member for level 1 and above" } */ > + normal->c[5] = 5; /*{ dg-warning "should not be used as a flexible array member" } */ > + trailing_1->c[2] = 2; /* { dg-bogus "should not be used as a flexible array member" } */ > + trailing_0->c[1] = 1; /* { dg-bogus "should not be used as a flexible array member" } */ > + trailing_flex->c[10] = 10; /* { dg-bogus "should not be used as a flexible array member" } */ > > } > diff --git a/gcc/tree.cc b/gcc/tree.cc > index 78b64ee98b3..7473912a065 100644 > --- a/gcc/tree.cc > +++ b/gcc/tree.cc > @@ -13074,38 +13074,15 @@ component_ref_size (tree ref, special_array_member *sam /* = NULL */) > || *sam == special_array_member::trail_n) > return memsize; > > - /* flag_strict_flex_arrays will control how to treat > - the trailing arrays as flexiable array members. */ > - > tree afield_decl = TREE_OPERAND (ref, 1); > - unsigned int strict_flex_array_level > - = strict_flex_array_level_of (afield_decl); > - > - switch (strict_flex_array_level) > - { > - case 3: > - /* Treaing 0-length trailing arrays as normal array. */ > - if (*sam == special_array_member::trail_0) > - return size_zero_node; > - /* FALLTHROUGH. */ > - case 2: > - /* Treating 1-element trailing arrays as normal array. */ > - if (*sam == special_array_member::trail_1) > - return memsize; > - /* FALLTHROUGH. */ > - case 1: > - /* Treating 2-or-more elements trailing arrays as normal > - array. */ > - if (*sam == special_array_member::trail_n) > - return memsize; > - /* FALLTHROUGH. */ > - case 0: > - break; > - default: > - gcc_unreachable (); > - } > + gcc_assert (TREE_CODE (afield_decl) == FIELD_DECL); > + /* if the trailing array is a not a flexible array member, treat it as > + a normal array. */ > + if (DECL_NOT_FLEXARRAY (afield_decl) > + && *sam != special_array_member::int_0) > + return memsize; > > - if (*sam == special_array_member::int_0) > + if (*sam == special_array_member::int_0) > memsize = NULL_TREE; > > /* For a reference to a flexible array member of a union > -- Richard Biener SUSE Software Solutions Germany GmbH, Frankenstrasse 146, 90461 Nuernberg, Germany; GF: Ivo Totev, Andrew Myers, Andrew McDonald, Boudien Moerman; HRB 36809 (AG Nuernberg)