c++: Fix initializing empty base from prvalue [PR97597]
authorJason Merrill <jason@redhat.com>
Tue, 22 Dec 2020 20:41:56 +0000 (15:41 -0500)
committerJason Merrill <jason@redhat.com>
Wed, 23 Dec 2020 22:11:05 +0000 (17:11 -0500)
commit612cf351c700b6216209e3f3f4b3a0959bf2dee7
treeea53b09e0d34deb068d7312928a8e2d88fd89924
parent3932785450fb74a886b8eb3d6f889de9766b7e8e
c++: Fix initializing empty base from prvalue [PR97597]

unsafe_return_slot_p wasn't recognizing an empty base as
potentially-overlapping, which it definitely is.

The change to build_base_path is to make the virtual conversion also
recognized by is_empty_base_ref; unsafe_return_slot_p doesn't to handle
virtual conversions, but hypothetical future callers might.

gcc/cp/ChangeLog:

PR c++/97597
* class.c (is_empty_base_ref): New.
(build_base_path): Add NOP_EXPR after offset.
* cp-tree.h (is_empty_base_ref): Declare it.
* call.c (unsafe_return_slot_p): Call it.

gcc/testsuite/ChangeLog:

PR c++/97597
* g++.dg/init/empty3.C: New test.
gcc/cp/call.c
gcc/cp/class.c
gcc/cp/cp-tree.h
gcc/testsuite/g++.dg/init/empty3.C [new file with mode: 0644]