diff options
author | Marek Polacek <polacek@redhat.com> | 2024-05-08 15:43:58 -0400 |
---|---|---|
committer | Marek Polacek <polacek@redhat.com> | 2024-05-15 13:27:38 -0400 |
commit | 1a05332bbac98a4c002bef3fb45a3ad9d56b3a71 (patch) | |
tree | 3a5708dbe82bf60df2d728df829c2a2b4f0f40e5 /gcc/tree-vectorizer.h | |
parent | 0b3eac4b54a52bf206b88743d1e987badc97cff4 (diff) | |
download | gcc-1a05332bbac98a4c002bef3fb45a3ad9d56b3a71.zip gcc-1a05332bbac98a4c002bef3fb45a3ad9d56b3a71.tar.gz gcc-1a05332bbac98a4c002bef3fb45a3ad9d56b3a71.tar.bz2 |
c++: ICE with reference NSDMI [PR114854]
Here we crash on a cp_gimplify_expr/TARGET_EXPR assert:
/* A TARGET_EXPR that expresses direct-initialization should have been
elided by cp_gimplify_init_expr. */
gcc_checking_assert (!TARGET_EXPR_DIRECT_INIT_P (*expr_p));
the TARGET_EXPR in question is created for the NSDMI in:
class Vector { int m_size; };
struct S {
const Vector &vec{};
};
where we first need to create a Vector{} temporary, and then bind the
vec reference to it. The temporary is represented by a TARGET_EXPR
and it cannot be elided. When we create an object of type S, we get
D.2848 = {.vec=(const struct Vector &) &TARGET_EXPR <D.2840, {.m_size=0}>}
where the TARGET_EXPR is no longer direct-initializing anything.
Fixed by not setting TARGET_EXPR_DIRECT_INIT_P in convert_like_internal/ck_user.
PR c++/114854
gcc/cp/ChangeLog:
* call.cc (convert_like_internal) <case ck_user>: Don't set
TARGET_EXPR_DIRECT_INIT_P.
gcc/testsuite/ChangeLog:
* g++.dg/cpp1y/nsdmi-aggr22.C: New test.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions