]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: cxx_eval_array_reference and empty elem type [PR101194]
authorPatrick Palka <ppalka@redhat.com>
Thu, 1 Jul 2021 00:44:52 +0000 (20:44 -0400)
committerPatrick Palka <ppalka@redhat.com>
Thu, 1 Jul 2021 00:44:52 +0000 (20:44 -0400)
commita688c284dd3848b6c4ea553035f0f9769fb4fbc9
treeb1f5e3e737b4d9af203fe878a0f6c7652e29e775
parent613497aa6e28ca009d8498002424019d2a8a9ca5
c++: cxx_eval_array_reference and empty elem type [PR101194]

Here the initializer for x is represented as an empty CONSTRUCTOR due to
its empty element type.  So during constexpr evaluation of the ARRAY_REF
x[0], we end up trying to value initialize the omitted element at index 0,
which fails because the element type is not default constructible.

This patch makes cxx_eval_array_reference specifically handle the case
where the element type is an empty type.

PR c++/101194

gcc/cp/ChangeLog:

* constexpr.c (cxx_eval_array_reference): When the element type
is an empty type and the corresponding element is omitted, just
return an empty CONSTRUCTOR instead of attempting value
initialization.

gcc/testsuite/ChangeLog:

* g++.dg/cpp0x/constexpr-empty16.C: New test.
gcc/cp/constexpr.c
gcc/testsuite/g++.dg/cpp0x/constexpr-empty16.C [new file with mode: 0644]