diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2024-11-02 18:47:27 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2024-11-02 18:47:27 +0100 |
| commit | 1fb467dbcc2cdd3bb89fa860a1f86b7e334e0ce3 (patch) | |
| tree | 1342bde0718230af0e71f05c1e4cc8229f01e2f2 /gcc/pointer-query.h | |
| parent | 815e48e3d42231b675bae1dec5fa26890f048ef1 (diff) | |
| download | gcc-1fb467dbcc2cdd3bb89fa860a1f86b7e334e0ce3.zip gcc-1fb467dbcc2cdd3bb89fa860a1f86b7e334e0ce3.tar.gz gcc-1fb467dbcc2cdd3bb89fa860a1f86b7e334e0ce3.tar.bz2 | |
gimplify: Fix up RAW_DATA_CST related ICE [PR117384]
Apparently tree_output_constant_def doesn't strictly guarantee that the
returned VAR_DECL will have the same or uselessly convertible type as
the type of the constant passed to it, compare_constants says:
/* For arrays, check that mode, size and storage order match. */
/* For record and union constructors, require exact type equality. */
The older use of tree_output_constant_def in gimplify.cc was already
handling this right:
ctor = tree_output_constant_def (ctor);
if (!useless_type_conversion_p (type, TREE_TYPE (ctor)))
ctor = build1 (VIEW_CONVERT_EXPR, type, ctor);
but the spot I've added for RAW_DATA_CST missed this.
So, the following patch adds that.
2024-11-02 Jakub Jelinek <jakub@redhat.com>
PR middle-end/117384
* gimplify.cc (gimplify_init_ctor_eval): Add VIEW_CONVERT_EXPR around
rctor if it doesn't have expected type.
* c-c++-common/init-7.c: New test.
Diffstat (limited to 'gcc/pointer-query.h')
0 files changed, 0 insertions, 0 deletions