* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
@ 2021-09-12 23:20 ` pinskia at gcc dot gnu.org
2021-09-15 12:34 ` jakub at gcc dot gnu.org
` (6 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-09-12 23:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=102295
Last reconfirmed| |2021-09-12
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
PR 102295 might be a dup of this one.
It does look like the DECL_SIZE is not updated for the C++ front-end while the
C front-end does.
The C front-end has add_flexible_array_elts_to_size .
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
2021-09-12 23:20 ` [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const pinskia at gcc dot gnu.org
@ 2021-09-15 12:34 ` jakub at gcc dot gnu.org
2021-09-15 20:22 ` cvs-commit at gcc dot gnu.org
` (5 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2021-09-15 12:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org
Status|NEW |ASSIGNED
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 51468
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51468&action=edit
gcc12-pr88578.patch
Untested fix.
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
2021-09-12 23:20 ` [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const pinskia at gcc dot gnu.org
2021-09-15 12:34 ` jakub at gcc dot gnu.org
@ 2021-09-15 20:22 ` cvs-commit at gcc dot gnu.org
2021-09-15 23:05 ` cvs-commit at gcc dot gnu.org
` (4 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-09-15 20:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:
https://gcc.gnu.org/g:e5d1af8a07ae9fcc40ea5c781c3ad46d20ea12a6
commit r12-3556-ge5d1af8a07ae9fcc40ea5c781c3ad46d20ea12a6
Author: Jakub Jelinek <jakub@redhat.com>
Date: Wed Sep 15 22:21:17 2021 +0200
c++: Fix handling of decls with flexible array members initialized with
side-effects [PR88578]
> > Note, if the flexible array member is initialized only with
non-constant
> > initializers, we have a worse bug that this patch doesn't solve, the
> > splitting of initializers into constant and dynamic initialization
removes
> > the initializer and we don't have just wrong DECL_*SIZE, but nothing is
> > emitted when emitting those vars into assembly either and so the
dynamic
> > initialization clobbers other vars that may overlap the variable.
> > I think we need keep an empty CONSTRUCTOR elt in DECL_INITIAL for the
> > flexible array member in that case.
>
> Makes sense.
So, the following patch fixes that.
The typeck2.c change makes sure we keep those CONSTRUCTORs around (although
they should be empty because all their elts had side-effects/was
non-constant if it was removed earlier), and the varasm.c change is to
avoid
ICEs on those as well as ICEs on other flex array members that had some
initializers without side-effects, but not on the last array element.
The code was already asserting that the (index of the last elt in the
CONSTRUCTOR + 1) times elt size is equal to TYPE_SIZE_UNIT of the
local->val
type, which is true for C flex arrays or for C++ if they don't have any
side-effects or the last elt doesn't have side-effects, this patch changes
that to assertion that the TYPE_SIZE_UNIT is greater than equal to the
offset of the end of last element in the CONSTRUCTOR and uses
TYPE_SIZE_UNIT
(int_size_in_bytes) in the code later on.
2021-09-15 Jakub Jelinek <jakub@redhat.com>
PR c++/88578
PR c++/102295
gcc/
* varasm.c (output_constructor_regular_field): Instead of assertion
that array_size_for_constructor result is equal to size of
TREE_TYPE (local->val) in bytes, assert that the type size is
greater
or equal to array_size_for_constructor result and use type size as
fieldsize.
gcc/cp/
* typeck2.c (split_nonconstant_init_1): Don't throw away empty
initializers of flexible array members if they have non-zero type
size.
gcc/testsuite/
* g++.dg/ext/flexary39.C: New test.
* g++.dg/ext/flexary40.C: New test.
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2021-09-15 20:22 ` cvs-commit at gcc dot gnu.org
@ 2021-09-15 23:05 ` cvs-commit at gcc dot gnu.org
2021-09-16 8:49 ` jakub at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-09-15 23:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:
https://gcc.gnu.org/g:352c0b2668a1e3ce28060ccc265d3427f19e175d
commit r11-8999-g352c0b2668a1e3ce28060ccc265d3427f19e175d
Author: Jakub Jelinek <jakub@redhat.com>
Date: Wed Sep 15 22:21:17 2021 +0200
c++: Fix handling of decls with flexible array members initialized with
side-effects [PR88578]
> > Note, if the flexible array member is initialized only with
non-constant
> > initializers, we have a worse bug that this patch doesn't solve, the
> > splitting of initializers into constant and dynamic initialization
removes
> > the initializer and we don't have just wrong DECL_*SIZE, but nothing is
> > emitted when emitting those vars into assembly either and so the
dynamic
> > initialization clobbers other vars that may overlap the variable.
> > I think we need keep an empty CONSTRUCTOR elt in DECL_INITIAL for the
> > flexible array member in that case.
>
> Makes sense.
So, the following patch fixes that.
The typeck2.c change makes sure we keep those CONSTRUCTORs around (although
they should be empty because all their elts had side-effects/was
non-constant if it was removed earlier), and the varasm.c change is to
avoid
ICEs on those as well as ICEs on other flex array members that had some
initializers without side-effects, but not on the last array element.
The code was already asserting that the (index of the last elt in the
CONSTRUCTOR + 1) times elt size is equal to TYPE_SIZE_UNIT of the
local->val
type, which is true for C flex arrays or for C++ if they don't have any
side-effects or the last elt doesn't have side-effects, this patch changes
that to assertion that the TYPE_SIZE_UNIT is greater than equal to the
offset of the end of last element in the CONSTRUCTOR and uses
TYPE_SIZE_UNIT
(int_size_in_bytes) in the code later on.
2021-09-15 Jakub Jelinek <jakub@redhat.com>
PR c++/88578
PR c++/102295
gcc/
* varasm.c (output_constructor_regular_field): Instead of assertion
that array_size_for_constructor result is equal to size of
TREE_TYPE (local->val) in bytes, assert that the type size is
greater
or equal to array_size_for_constructor result and use type size as
fieldsize.
gcc/cp/
* typeck2.c (split_nonconstant_init_1): Don't throw away empty
initializers of flexible array members if they have non-zero type
size.
gcc/testsuite/
* g++.dg/ext/flexary39.C: New test.
* g++.dg/ext/flexary40.C: New test.
(cherry picked from commit e5d1af8a07ae9fcc40ea5c781c3ad46d20ea12a6)
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2021-09-15 23:05 ` cvs-commit at gcc dot gnu.org
@ 2021-09-16 8:49 ` jakub at gcc dot gnu.org
2022-05-10 8:20 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2021-09-16 8:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed for 12.1+ and 11.3+ for now.
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2021-09-16 8:49 ` jakub at gcc dot gnu.org
@ 2022-05-10 8:20 ` cvs-commit at gcc dot gnu.org
2022-05-11 6:22 ` cvs-commit at gcc dot gnu.org
2022-05-11 6:33 ` jakub at gcc dot gnu.org
7 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-05-10 8:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:
https://gcc.gnu.org/g:96e3e3b1fc1c704d82af000f529b1ce88c66683a
commit r10-10644-g96e3e3b1fc1c704d82af000f529b1ce88c66683a
Author: Jakub Jelinek <jakub@redhat.com>
Date: Wed Sep 15 22:21:17 2021 +0200
c++: Fix handling of decls with flexible array members initialized with
side-effects [PR88578]
> > Note, if the flexible array member is initialized only with
non-constant
> > initializers, we have a worse bug that this patch doesn't solve, the
> > splitting of initializers into constant and dynamic initialization
removes
> > the initializer and we don't have just wrong DECL_*SIZE, but nothing is
> > emitted when emitting those vars into assembly either and so the
dynamic
> > initialization clobbers other vars that may overlap the variable.
> > I think we need keep an empty CONSTRUCTOR elt in DECL_INITIAL for the
> > flexible array member in that case.
>
> Makes sense.
So, the following patch fixes that.
The typeck2.c change makes sure we keep those CONSTRUCTORs around (although
they should be empty because all their elts had side-effects/was
non-constant if it was removed earlier), and the varasm.c change is to
avoid
ICEs on those as well as ICEs on other flex array members that had some
initializers without side-effects, but not on the last array element.
The code was already asserting that the (index of the last elt in the
CONSTRUCTOR + 1) times elt size is equal to TYPE_SIZE_UNIT of the
local->val
type, which is true for C flex arrays or for C++ if they don't have any
side-effects or the last elt doesn't have side-effects, this patch changes
that to assertion that the TYPE_SIZE_UNIT is greater than equal to the
offset of the end of last element in the CONSTRUCTOR and uses
TYPE_SIZE_UNIT
(int_size_in_bytes) in the code later on.
2021-09-15 Jakub Jelinek <jakub@redhat.com>
PR c++/88578
PR c++/102295
gcc/
* varasm.c (output_constructor_regular_field): Instead of assertion
that array_size_for_constructor result is equal to size of
TREE_TYPE (local->val) in bytes, assert that the type size is
greater
or equal to array_size_for_constructor result and use type size as
fieldsize.
gcc/cp/
* typeck2.c (split_nonconstant_init_1): Don't throw away empty
initializers of flexible array members if they have non-zero type
size.
gcc/testsuite/
* g++.dg/ext/flexary39.C: New test.
* g++.dg/ext/flexary40.C: New test.
(cherry picked from commit e5d1af8a07ae9fcc40ea5c781c3ad46d20ea12a6)
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2022-05-10 8:20 ` cvs-commit at gcc dot gnu.org
@ 2022-05-11 6:22 ` cvs-commit at gcc dot gnu.org
2022-05-11 6:33 ` jakub at gcc dot gnu.org
7 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-05-11 6:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-9 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:
https://gcc.gnu.org/g:bd1562be917d088f8a34a27c4f91091382cbd4ab
commit r9-10101-gbd1562be917d088f8a34a27c4f91091382cbd4ab
Author: Jakub Jelinek <jakub@redhat.com>
Date: Wed Sep 15 22:21:17 2021 +0200
c++: Fix handling of decls with flexible array members initialized with
side-effects [PR88578]
> > Note, if the flexible array member is initialized only with
non-constant
> > initializers, we have a worse bug that this patch doesn't solve, the
> > splitting of initializers into constant and dynamic initialization
removes
> > the initializer and we don't have just wrong DECL_*SIZE, but nothing is
> > emitted when emitting those vars into assembly either and so the
dynamic
> > initialization clobbers other vars that may overlap the variable.
> > I think we need keep an empty CONSTRUCTOR elt in DECL_INITIAL for the
> > flexible array member in that case.
>
> Makes sense.
So, the following patch fixes that.
The typeck2.c change makes sure we keep those CONSTRUCTORs around (although
they should be empty because all their elts had side-effects/was
non-constant if it was removed earlier), and the varasm.c change is to
avoid
ICEs on those as well as ICEs on other flex array members that had some
initializers without side-effects, but not on the last array element.
The code was already asserting that the (index of the last elt in the
CONSTRUCTOR + 1) times elt size is equal to TYPE_SIZE_UNIT of the
local->val
type, which is true for C flex arrays or for C++ if they don't have any
side-effects or the last elt doesn't have side-effects, this patch changes
that to assertion that the TYPE_SIZE_UNIT is greater than equal to the
offset of the end of last element in the CONSTRUCTOR and uses
TYPE_SIZE_UNIT
(int_size_in_bytes) in the code later on.
2021-09-15 Jakub Jelinek <jakub@redhat.com>
PR c++/88578
PR c++/102295
gcc/
* varasm.c (output_constructor_regular_field): Instead of assertion
that array_size_for_constructor result is equal to size of
TREE_TYPE (local->val) in bytes, assert that the type size is
greater
or equal to array_size_for_constructor result and use type size as
fieldsize.
gcc/cp/
* typeck2.c (split_nonconstant_init_1): Don't throw away empty
initializers of flexible array members if they have non-zero type
size.
gcc/testsuite/
* g++.dg/ext/flexary39.C: New test.
* g++.dg/ext/flexary40.C: New test.
(cherry picked from commit e5d1af8a07ae9fcc40ea5c781c3ad46d20ea12a6)
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/88578] Static C++ objects with flexible array members overlap when initializes are non-const
[not found] <bug-88578-4@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2022-05-11 6:22 ` cvs-commit at gcc dot gnu.org
@ 2022-05-11 6:33 ` jakub at gcc dot gnu.org
7 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-05-11 6:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88578
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 8+ messages in thread