From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 9C9583858417; Sat, 28 Aug 2021 22:16:01 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9C9583858417
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/97740] Weird error message about accessing a private member
 of my own class inside of std::string_view inside of constexpr
Date: Sat, 28 Aug 2021 22:16:01 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 11.0
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-97740-4-OwKR9lanFl@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-97740-4@http.gcc.gnu.org/bugzilla/>
References: <bug-97740-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Sat, 28 Aug 2021 22:16:01 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D97740

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The trunk produces:
Output of x86-64 gcc (trunk) (Compiler #2)
<source>: In instantiation of
'cld::detail::CommandLine::Pack<detail::INCLUDESarg0, detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)> [with aut=
o:6
=3D {const cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::=
Arg&,
const cld::detail::CommandLine::Arg&}]':
/opt/compiler-explorer/gcc-trunk-20210828/include/c++/12.0.0/type_traits:25=
55:26:
  required by substitution of 'template<class _Fn, class ... _Args> static
std::__result_of_success<decltype (declval<_Fn>()((declval<_Args>)()...)),
std::__invoke_other> std::__result_of_other_impl::_S_test(int) [with _Fn =3D
cld::detail::CommandLine::Pack<detail::INCLUDESarg0, detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>; _Args =3D
{const cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::Arg&,
const cld::detail::CommandLine::Arg&}]'
/opt/compiler-explorer/gcc-trunk-20210828/include/c++/12.0.0/type_traits:25=
66:55:
  required from 'struct std::__result_of_impl<false, false,
cld::detail::CommandLine::Pack<detail::INCLUDESarg0, detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>, const
cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::Arg&, const
cld::detail::CommandLine::Arg&>'
/opt/compiler-explorer/gcc-trunk-20210828/include/c++/12.0.0/type_traits:15=
1:12:
  recursively required by substitution of 'template<class _Result, class _R=
et>
struct std::__is_invocable_impl<_Result, _Ret, true, std::__void_t<typename
_CTp::type> > [with _Result =3D
std::__invoke_result<cld::detail::CommandLine::Pack<detail::INCLUDESarg0,
detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>, const
cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::Arg&, const
cld::detail::CommandLine::Arg&>; _Ret =3D void]'
/opt/compiler-explorer/gcc-trunk-20210828/include/c++/12.0.0/type_traits:15=
1:12:
  required from 'struct
std::__and_<std::__is_invocable_impl<std::__invoke_result<cld::detail::Comm=
andLine::Pack<detail::INCLUDESarg0,
detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>, const
cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::Arg&, const
cld::detail::CommandLine::Arg&>, void, true, void>,
std::__call_is_nothrow<std::__invoke_result<cld::detail::CommandLine::Pack<=
detail::INCLUDESarg0,
detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>, const
cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::Arg&, const
cld::detail::CommandLine::Arg&>,
cld::detail::CommandLine::Pack<detail::INCLUDESarg0, detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>, const
cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::Arg&, const
cld::detail::CommandLine::Arg&> >'
/opt/compiler-explorer/gcc-trunk-20210828/include/c++/12.0.0/type_traits:30=
54:12:
  required from 'struct
std::is_nothrow_invocable<cld::detail::CommandLine::Pack<detail::INCLUDESar=
g0,
detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>, const
cld::detail::CommandLine::Arg&, const cld::detail::CommandLine::Arg&, const
cld::detail::CommandLine::Arg&>'
/opt/compiler-explorer/gcc-trunk-20210828/include/c++/12.0.0/tuple:1872:37:=
=20=20
required from 'constexpr const bool std::__unpack_std_tuple<template<class =
_Fn,
class ... _ArgTypes> struct std::is_nothrow_invocable,
cld::detail::CommandLine::Pack<detail::INCLUDESarg0, detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>, const
std::tuple<cld::detail::CommandLine::Arg, cld::detail::CommandLine::Arg,
cld::detail::CommandLine::Arg>&>'
/opt/compiler-explorer/gcc-trunk-20210828/include/c++/12.0.0/tuple:1887:14:=
=20=20
required from 'constexpr decltype(auto) std::apply(_Fn&&, _Tuple&&) [with _=
Fn =3D
cld::detail::CommandLine::Pack<detail::INCLUDESarg0, detail::INCLUDESarg1,
detail::INCLUDESarg2>::parseOptionsImpl()::<lambda(auto:6&& ...)>; _Tuple =
=3D
const std::tuple<cld::detail::CommandLine::Arg, cld::detail::CommandLine::A=
rg,
cld::detail::CommandLine::Arg>&]'
<source>:408:49:   required from 'static constexpr auto
cld::detail::CommandLine::Pack<args>::parseOptionsImpl() [with const auto&
...args =3D {detail::INCLUDESarg0, detail::INCLUDESarg1, detail::INCLUDESar=
g2}]'
<source>:444:49:   required from 'constexpr const auto
cld::detail::CommandLine::parsedTuple<cld::detail::CommandLine::Pack<detail=
::INCLUDESarg0,
detail::INCLUDESarg1, detail::INCLUDESarg2> >'
<source>:458:48:   required from 'constexpr auto
cld::detail::CommandLine::parseOptions(std::string_view, cld::CLIMultiArg)
[with T =3D cld::detail::CommandLine::Pack<detail::INCLUDESarg0,
detail::INCLUDESarg1, detail::INCLUDESarg2>; auto& ...args =3D
{detail::INCLUDESbind0, std::in_place_type<std::basic_string_view<char,
std::char_traits<char> > >}; std::string_view =3D std::basic_string_view<ch=
ar>]'
<source>:502:5:   required from here
<source>:411:31: error: too many initializers for
'std::array<std::basic_string_view<char>, 3>'
  411 |                 input.value...};
      |                               ^


clang accepts the code using GCC's libstdc++ while rejects it using LLVM's
libc++:
<source>:410:20: error: implicit instantiation of undefined template
'std::array<std::string_view, 3>'
            return std::array<std::string_view, sizeof...(input)>{
                   ^=