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 9C71D3894417; Tue, 27 Apr 2021 17:06:32 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9C71D3894417
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: =?UTF-8?B?W0J1ZyBjKysvMTAwMjkxXSBOZXc6IGludGVybmFsIGNvbXBpbGVy?=
 =?UTF-8?B?IGVycm9yOiB0cnlpbmcgdG8gY2FwdHVyZSDigJh0aGlz4oCZIGluIGluc3Rh?=
 =?UTF-8?B?bnRpYXRpb24gb2YgZ2VuZXJpYyBsYW1iZGE=?=
Date: Tue, 27 Apr 2021 17:06:32 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 11.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
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: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-100291-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: Tue, 27 Apr 2021 17:06:32 -0000

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

            Bug ID: 100291
           Summary: internal compiler error: trying to capture =E2=80=98thi=
s=E2=80=99 in
                    instantiation of generic lambda
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org
  Target Milestone: ---

template <typename _Tp, _Tp __v> struct integral_constant {
  static constexpr _Tp value =3D __v;
};
template <bool __v> using bool_constant =3D integral_constant<bool, __v>;
template <typename> struct conditional;
template <typename...> struct __and_;
template <typename _B1, typename _B2>
struct __and_<_B1, _B2> : conditional<_B2>::type {};
template <typename _Tp, typename _Up =3D _Tp> _Up __declval(int);
template <typename _Tp> auto declval() -> decltype(__declval<_Tp>(0));
template <typename _Iftrue> struct conditional { typedef _Iftrue type; };
template <typename> using void_t =3D void;
template <typename> struct iterator_traits;
template <typename _Tp> struct iterator_traits<_Tp *> {
  typedef _Tp reference;
};
struct pointer_traits {
  template <typename _Up> using rebind =3D _Up *;
};
template <typename _Iterator> class __normal_iterator {
public:
  typename iterator_traits<_Iterator>::reference operator*();
};
template <typename _Tp> class allocator {
public:
  typedef _Tp value_type;
};
template <typename _Alloc> struct allocator_traits {
  template <typename _Tp> struct _Ptr {
    using type =3D pointer_traits::rebind<_Tp>;
  };
  using const_pointer =3D typename _Ptr<typename _Alloc::value_type>::type;
};
template <typename _Alloc> struct _Vector_base {
  typedef allocator_traits<_Alloc> _Tp_alloc_type;
};
template <typename _Tp, typename _Alloc =3D allocator<_Tp>> class vector {
  typedef typename _Vector_base<_Alloc>::_Tp_alloc_type _Alloc_traits;
public:
  __normal_iterator<typename _Alloc_traits::const_pointer> begin() const;
};
template <class, class, template <class> class, class...> struct detector;
template <class Default, template <class> class Op, class... Args>
struct detector<Default, void_t<Op<Args...>>, Op, Args...> {
  using value_t =3D integral_constant<bool, true>;
};
template <template <class> class Op, class... Args>
using is_detected =3D typename detector<int, void, Op, Args...>::value_t;
template <bool... Bs>
constexpr bool require =3D __and_<bool_constant<Bs>...>::value;
template <typename T, typename R, template <class...> class M,
          typename... Arguments>
constexpr bool has_method =3D M<T, R, Arguments...>::template tv<T>::value;
template <class T, typename, typename... Arguments> struct time_t {
  template <typename T_> struct fptr_meta {
    template <typename... Arguments_>
    using type =3D
        integral_constant<decltype(T_().time(declval<Arguments_>()...))
(T_::*)(
                              Arguments_...) const,
                          &T_::time>;
  };
  template <typename T_, typename... Arguments_>
  using fptr_meta_t =3D typename fptr_meta<T_>::template type<Arguments_...=
>;
  template <typename> struct tv {
    static constexpr bool value =3D is_detected<fptr_meta_t, T,
Arguments...>::value;
  };
};
template <class T, typename, typename... Arguments> struct output_step_size=
_t {
  template <typename T_> struct fptr_meta {
    template <typename... Arguments_>
    using type =3D
        integral_constant<decltype(T_().outputStepSize(
                              declval<Arguments_>()...)) (T_::*)(Arguments_=
...)
                              const,
                          &T_::outputStepSize>;
  };
  template <typename T_, typename... Arguments_>
  using fptr_meta_t =3D typename fptr_meta<T_>::template type<Arguments_...=
>;
  template <typename> struct tv {
    static constexpr bool value =3D is_detected<fptr_meta_t, T,
Arguments...>::value;
  };
};
template <typename S, typename state =3D typename S::State>
struct Trans_NS_Stepper_StepperConcept {
  constexpr static bool time_exists =3D
      has_method<S, double, time_t, const state &>;
  constexpr static bool output_step_size_exists =3D
      has_method<S, char, output_step_size_t, const state &>;
  constexpr static bool value =3D require<time_exists, output_step_size_exi=
sts>;
};
template <typename stepper>
constexpr bool StepperConcept =3D
Trans_NS_Stepper_StepperConcept<stepper>::value;
template <typename stepper_t> class Propagator {
  static_assert(StepperConcept<stepper_t>);
};
template <typename =3D int> class EigenStepper {
public:
  struct State {};
  void time(State);
};
template <typename _InputIterator, typename _Tp, typename _BinaryOperation>
void accumulate(_InputIterator __first, _Tp __init,
                _BinaryOperation __binary_op) {
  __binary_op(__init, *__first);
}
template <typename extensionlist_t =3D int>
class MultiEigenStepper : EigenStepper<> {
public:
  using SingleStepper =3D EigenStepper<extensionlist_t>;
  using SingleState =3D State;
  struct State {
    struct Component {
      SingleState state;
    };
    vector<Component> components;
  };
  void time(const State &state) const {
    accumulate(state.components.begin(), 0.0,
               [&](auto, auto cmp) { SingleStepper::time(cmp.state); });
  }
  void outputStepSize(const State &) const;
};
using MultiStepper =3D MultiEigenStepper<>;
using MultiPropagator =3D Propagator<MultiStepper>;
MultiPropagator makePropagator() { return {}; }

gives

$ ./cc1plus -quiet w.C
w.C: In instantiation of =E2=80=98MultiEigenStepper<>::time(const
MultiEigenStepper<>::State&) const::<lambda(auto:1, auto:2)> [with auto:1 =
=3D
double; auto:2 =3D MultiEigenStepper<>::State::Component]=E2=80=99:
w.C:104:14:   required from =E2=80=98void accumulate(_InputIterator, _Tp,
_BinaryOperation) [with _InputIterator =3D
__normal_iterator<MultiEigenStepper<>::State::Component*>; _Tp =3D double;
_BinaryOperation =3D MultiEigenStepper<>::time(const MultiEigenStepper<>::S=
tate&)
const::<lambda(auto:1, auto:2)>]=E2=80=99
w.C:118:15:   required from =E2=80=98void
MultiEigenStepper<extensionlist_t>::time(const
MultiEigenStepper<extensionlist_t>::State&) const [with extensionlist_t =3D=
 int]=E2=80=99
w.C:60:27:   required by substitution of =E2=80=98template<class T, class, =
class ...
Arguments> template<class T_> template<class ... Arguments_> using type =3D
integral_constant<decltype (T_().time((declval<Arguments_>)()...))
(T_::*)(Arguments_ ...) const, (& T_::time)> [with Arguments_ =3D {const
MultiEigenStepper<>::State&}; T_ =3D MultiEigenStepper<>; T =3D
MultiEigenStepper<>; <template-parameter-1-2> =3D double; Arguments =3D {co=
nst
MultiEigenStepper<>::State&}]=E2=80=99
w.C:63:9:   required by substitution of =E2=80=98template<class T, class, c=
lass ...
Arguments> template<class T_, class ... Arguments_> using fptr_meta_t =3D
typename time_t<T, <template-parameter-1-2>,
Arguments>::fptr_meta::type<Arguments_ ...> [with T_ =3D MultiEigenStepper<=
>;
Arguments_ =3D {const MultiEigenStepper<>::State&}; T =3D MultiEigenStepper=
<>;
<template-parameter-1-2> =3D double; Arguments =3D {const
MultiEigenStepper<>::State&}]=E2=80=99
w.C:48:7:   [ skipping 2 instantiation contexts, use
-ftemplate-backtrace-limit=3D0 to disable ]
w.C:65:78:   required from =E2=80=98constexpr const bool time_t<MultiEigenS=
tepper<>,
double, const MultiEigenStepper<>::State&>::tv<MultiEigenStepper<> >::value=
=E2=80=99
w.C:53:68:   required from =E2=80=98constexpr const bool
has_method<MultiEigenStepper<>, double, template<class T, class, class ...
Arguments> struct time_t, const MultiEigenStepper<>::State&>=E2=80=99
w.C:86:7:   required from =E2=80=98constexpr const bool
Trans_NS_Stepper_StepperConcept<MultiEigenStepper<>,
MultiEigenStepper<>::State>::time_exists=E2=80=99
w.C:89:33:   required from =E2=80=98constexpr const bool
Trans_NS_Stepper_StepperConcept<MultiEigenStepper<>,
MultiEigenStepper<>::State>::value=E2=80=99
w.C:92:75:   required from =E2=80=98constexpr const bool
StepperConcept<MultiEigenStepper<> >=E2=80=99
w.C:94:17:   required from =E2=80=98class Propagator<MultiEigenStepper<> >=
=E2=80=99
w.C:125:32:   required from here
w.C:119:38: internal compiler error: trying to capture =E2=80=98this=E2=80=
=99 in instantiation
of generic lambda
  119 |                [&](auto, auto cmp) { SingleStepper::time(cmp.state);
});
      |                                      ^~~~~~~~~~~~~
0xbb7b2b add_capture(tree_node*, tree_node*, tree_node*, bool, bool)
        /home/mpolacek/src/gcc/gcc/cp/lambda.c:637
0xbb7f4e add_default_capture(tree_node*, tree_node*, tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/lambda.c:697
0xbb8df2 lambda_expr_this_capture(tree_node*, int)
        /home/mpolacek/src/gcc/gcc/cp/lambda.c:815
0xbb9795 maybe_resolve_dummy(tree_node*, bool)
        /home/mpolacek/src/gcc/gcc/cp/lambda.c:898
0xa47d12 build_new_method_call_1
        /home/mpolacek/src/gcc/gcc/cp/call.c:10756
0xa4829c build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_g=
c,
vl_embed>**, tree_node*, int, tree_node**, int)
        /home/mpolacek/src/gcc/gcc/cp/call.c:10859
0xd4d52e tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, boo=
l,
bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:20509
0xd474cd tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:19204
0xd3fbf5 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:18274
0xd4282c tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:18595
0xd4282c tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:18595
0xd64c3c instantiate_body
        /home/mpolacek/src/gcc/gcc/cp/pt.c:25921
0xd6662c instantiate_decl(tree_node*, bool, bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:26215
0xb7a288 maybe_instantiate_decl(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/decl2.c:5460
0xb7c828 mark_used(tree_node*, int)
        /home/mpolacek/src/gcc/gcc/cp/decl2.c:5689
0xa42dc6 build_over_call
        /home/mpolacek/src/gcc/gcc/cp/call.c:9493
0xa315b5 build_op_call_1
        /home/mpolacek/src/gcc/gcc/cp/call.c:4967
0xa3174b build_op_call(tree_node*, vec<tree_node*, va_gc, vl_embed>**, int)
        /home/mpolacek/src/gcc/gcc/cp/call.c:4996
0xd97d4d finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, b=
ool,
bool, int)
        /home/mpolacek/src/gcc/gcc/cp/semantics.c:2851
0xd4d656 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, boo=
l,
bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:20530=