On Mon, Nov 14, 2016 at 6:04 AM, Jason Merrill <ja...@redhat.com> wrote: > On Wed, Nov 9, 2016 at 7:24 AM, Jakub Jelinek <ja...@redhat.com> wrote: >> The match.pd hunk is needed, otherwise the generic folding happily folds >> int arr[2]; >> ... >> auto [ x, y ] = arr; >> &x == &arr[0] >> into 0, because it thinks x and arr are distinct VAR_DECLs. Though, if >> such comparisons are required to be folded in constexpr contexts under >> certain conditions, we'd need to handle the DECL_VALUE_EXPRs in constexpr.c >> somehow. > > What do you think of this approach instead?
get_addr_base_and_unit_offset_1 is infrastructure related to get_ref_base_and_extent, get_inner_reference and get_base_address. All of those should really behave the same with respect to the innermost decl. Thus I don't think we should handle this here. Richard.
