[Bug c++/100291] New: internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[Bug c++/100291] New: internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[mpolacek at gcc dot gnu.org]

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

            Bug ID: 100291
           Summary: internal compiler error: trying to capture ‘this’ 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 = __v;
};
template <bool __v> using bool_constant = 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 = _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 = void;
template <typename> struct iterator_traits;
template <typename _Tp> struct iterator_traits<_Tp *> {
  typedef _Tp reference;
};
struct pointer_traits {
  template <typename _Up> using rebind = _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 = pointer_traits::rebind<_Tp>;
  };
  using const_pointer = 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 = 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 = integral_constant<bool, true>;
};
template <template <class> class Op, class... Args>
using is_detected = typename detector<int, void, Op, Args...>::value_t;
template <bool... Bs>
constexpr bool require = __and_<bool_constant<Bs>...>::value;
template <typename T, typename R, template <class...> class M,
          typename... Arguments>
constexpr bool has_method = 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 =
        integral_constant<decltype(T_().time(declval<Arguments_>()...))
(T_::*)(
                              Arguments_...) const,
                          &T_::time>;
  };
  template <typename T_, typename... Arguments_>
  using fptr_meta_t = typename fptr_meta<T_>::template type<Arguments_...>;
  template <typename> struct tv {
    static constexpr bool value = 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 =
        integral_constant<decltype(T_().outputStepSize(
                              declval<Arguments_>()...)) (T_::*)(Arguments_...)
                              const,
                          &T_::outputStepSize>;
  };
  template <typename T_, typename... Arguments_>
  using fptr_meta_t = typename fptr_meta<T_>::template type<Arguments_...>;
  template <typename> struct tv {
    static constexpr bool value = is_detected<fptr_meta_t, T,
Arguments...>::value;
  };
};
template <typename S, typename state = typename S::State>
struct Trans_NS_Stepper_StepperConcept {
  constexpr static bool time_exists =
      has_method<S, double, time_t, const state &>;
  constexpr static bool output_step_size_exists =
      has_method<S, char, output_step_size_t, const state &>;
  constexpr static bool value = require<time_exists, output_step_size_exists>;
};
template <typename stepper>
constexpr bool StepperConcept =
Trans_NS_Stepper_StepperConcept<stepper>::value;
template <typename stepper_t> class Propagator {
  static_assert(StepperConcept<stepper_t>);
};
template <typename = 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 = int>
class MultiEigenStepper : EigenStepper<> {
public:
  using SingleStepper = EigenStepper<extensionlist_t>;
  using SingleState = 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 = MultiEigenStepper<>;
using MultiPropagator = Propagator<MultiStepper>;
MultiPropagator makePropagator() { return {}; }

gives

$ ./cc1plus -quiet w.C
w.C: In instantiation of ‘MultiEigenStepper<>::time(const
MultiEigenStepper<>::State&) const::<lambda(auto:1, auto:2)> [with auto:1 =
double; auto:2 = MultiEigenStepper<>::State::Component]’:
w.C:104:14:   required from ‘void accumulate(_InputIterator, _Tp,
_BinaryOperation) [with _InputIterator =
__normal_iterator<MultiEigenStepper<>::State::Component*>; _Tp = double;
_BinaryOperation = MultiEigenStepper<>::time(const MultiEigenStepper<>::State&)
const::<lambda(auto:1, auto:2)>]’
w.C:118:15:   required from ‘void
MultiEigenStepper<extensionlist_t>::time(const
MultiEigenStepper<extensionlist_t>::State&) const [with extensionlist_t = int]’
w.C:60:27:   required by substitution of ‘template<class T, class, class ...
Arguments> template<class T_> template<class ... Arguments_> using type =
integral_constant<decltype (T_().time((declval<Arguments_>)()...))
(T_::*)(Arguments_ ...) const, (& T_::time)> [with Arguments_ = {const
MultiEigenStepper<>::State&}; T_ = MultiEigenStepper<>; T =
MultiEigenStepper<>; <template-parameter-1-2> = double; Arguments = {const
MultiEigenStepper<>::State&}]’
w.C:63:9:   required by substitution of ‘template<class T, class, class ...
Arguments> template<class T_, class ... Arguments_> using fptr_meta_t =
typename time_t<T, <template-parameter-1-2>,
Arguments>::fptr_meta::type<Arguments_ ...> [with T_ = MultiEigenStepper<>;
Arguments_ = {const MultiEigenStepper<>::State&}; T = MultiEigenStepper<>;
<template-parameter-1-2> = double; Arguments = {const
MultiEigenStepper<>::State&}]’
w.C:48:7:   [ skipping 2 instantiation contexts, use
-ftemplate-backtrace-limit=0 to disable ]
w.C:65:78:   required from ‘constexpr const bool time_t<MultiEigenStepper<>,
double, const MultiEigenStepper<>::State&>::tv<MultiEigenStepper<> >::value’
w.C:53:68:   required from ‘constexpr const bool
has_method<MultiEigenStepper<>, double, template<class T, class, class ...
Arguments> struct time_t, const MultiEigenStepper<>::State&>’
w.C:86:7:   required from ‘constexpr const bool
Trans_NS_Stepper_StepperConcept<MultiEigenStepper<>,
MultiEigenStepper<>::State>::time_exists’
w.C:89:33:   required from ‘constexpr const bool
Trans_NS_Stepper_StepperConcept<MultiEigenStepper<>,
MultiEigenStepper<>::State>::value’
w.C:92:75:   required from ‘constexpr const bool
StepperConcept<MultiEigenStepper<> >’
w.C:94:17:   required from ‘class Propagator<MultiEigenStepper<> >’
w.C:125:32:   required from here
w.C:119:38: internal compiler error: trying to capture ‘this’ 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_gc,
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*, bool,
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>**, bool,
bool, int)
        /home/mpolacek/src/gcc/gcc/cp/semantics.c:2851
0xd4d656 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        /home/mpolacek/src/gcc/gcc/cp/pt.c:20530

[Bug c++/100291] [8/9/10/11/12 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
   Target Milestone|---                         |8.5
           Keywords|                            |ice-on-invalid-code
            Summary|internal compiler error:    |[8/9/10/11/12 Regression]
                   |trying to capture ‘this’ in |internal compiler error:
                   |instantiation of generic    |trying to capture ‘this’ in
                   |lambda                      |instantiation of generic
                   |                            |lambda
                 CC|                            |nathan at gcc dot gnu.org

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I think this is ICE-on-invalid.  Started with r245065:

/home/mpolacek/w.C:119:57: internal compiler error: in
finish_member_declaration, at cp/semantics.c:2969
                [&](auto, auto cmp) { SingleStepper::time(cmp.state); });
                                      ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~
0x9ac65b finish_member_declaration(tree_node*)
        ../../gcc/cp/semantics.c:2966
0xa52ce3 add_capture(tree_node*, tree_node*, tree_node*, bool, bool)
        ../../gcc/cp/lambda.c:600
0xa53090 add_default_capture(tree_node*, tree_node*, tree_node*)
        ../../gcc/cp/lambda.c:669
0xa538dd lambda_expr_this_capture(tree_node*, bool)
        ../../gcc/cp/lambda.c:760
0xa53ca1 maybe_resolve_dummy(tree_node*, bool)
        ../../gcc/cp/lambda.c:827
0x787891 build_new_method_call_1
        ../../gcc/cp/call.c:8760
0x787f30 build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, tree_node*, int, tree_node**, int)
        ../../gcc/cp/call.c:8870
0x83ef22 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../gcc/cp/pt.c:17279
0x83a881 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../gcc/cp/pt.c:16401
0x834e7e tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../gcc/cp/pt.c:15669
0x8369b0 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../gcc/cp/pt.c:15879
0x8369b0 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../gcc/cp/pt.c:15879
0x858968 instantiate_decl(tree_node*, int, bool)
        ../../gcc/cp/pt.c:22817
0x8c2790 maybe_instantiate_decl
        ../../gcc/cp/decl2.c:5008
0x8c3060 mark_used(tree_node*, int)
        ../../gcc/cp/decl2.c:5107
0x784968 build_over_call
        ../../gcc/cp/call.c:8088
0x77593c build_op_call_1
        ../../gcc/cp/call.c:4518
0x775acc build_op_call(tree_node*, vec<tree_node*, va_gc, vl_embed>**, int)
        ../../gcc/cp/call.c:4544
0x9aa173 finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
        ../../gcc/cp/semantics.c:2458
0x83ef56 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../gcc/cp/pt.c:17286

[Bug c++/100291] [9/10/11/12 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.

[Bug c++/100291] [9/10/11/12 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug c++/100291] [10/11/12/13 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug c++/100291] [10/11/12/13 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug c++/100291] [11/12/13/14 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.

[Bug c++/100291] [11/12/13/14 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|https://gcc.gnu.org/bugzill |
                   |a/show_bug.cgi?id=106086    |
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #7 from Patrick Palka <ppalka at gcc dot gnu.org> ---
dup of the recently fixed PR106086

*** This bug has been marked as a duplicate of bug 106086 ***

[Bug c++/100291] [11/12/13/14 Regression] internal compiler error: trying to capture ‘this’ in instantiation of generic lambda

[ppalka at gcc dot gnu.org]

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

--- Comment #8 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Maybe not exactly a dup, since this is an ICE-on-invalid testcase and strictly
speaking a regression.  But it doesn't seem like a regression worth fixing in
release branches.  And the underlying cause is the same as in PR106086 so might
as well call it a dup.