[Bug c++/82664] [7/8 Regression ] ICE when using Match7 library

["marxin at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|WAITING                     |NEW
                 CC|                            |jason at gcc dot gnu.org
   Target Milestone|---                         |7.3
            Summary|Internal Compiler Error     |[7/8 Regression ] ICE when
                   |when using Match7 library   |using Match7 library

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Thanks, confirmed with following reduced test-case:

$ cat pr82664.ii
namespace std {
  template < typename _Tp > struct remove_const { typedef _Tp type; };
  template < typename > struct remove_reference { typedef int type; };
}
namespace mch {
template < typename T >
struct underlying
    : std::remove_const< typename std::remove_reference< T >::type > {};
template < typename T, typename > struct preallocated { static T value; };
template < typename T > T *addr(T ) ;
template < typename SubjectType > class unified_switch {
public:
  typedef int static_data_type;
  struct local_data_type {};
  static long choose;
};
template < typename > struct target_disambiguator;
template < typename R, typename A1 > struct target_disambiguator< R(A1 ) > {
  typedef A1 type;
  template < R (&)() > struct layout;
};
}
void eval(int e) {
  struct match_uid_type;
  auto subject_ptr = mch::addr(e);
  typedef mch::underlying< decltype(subject_ptr) >::type source_type;
  typedef mch::unified_switch< source_type > switch_traits;
  switch_traits::static_data_type static_data =
      mch::preallocated< switch_traits::static_data_type,
                         match_uid_type >::value;
  switch_traits::local_data_type local_data;
  ;
{
    void decl_helper(int );
    typedef mch::target_disambiguator< decltype(decl_helper) > ::type
target_type ;
  }

$ g++ pr82664.ii

causes a stack overflow with following back-trace:

(gdb) bt
#0  0x0000000000fc9b95 in round_up_loc(unsigned int, tree_node*, unsigned int)
()
#1  0x000000000111436d in layout_type(tree_node*) ()
#2  0x00000000012576d6 in build_function_type(tree_node*, tree_node*) ()
#3  0x0000000000e2003b in ?? ()
#4  0x0000000000e1052b in tsubst(tree_node*, tree_node*, int, tree_node*) ()
#5  0x0000000000e1047e in tsubst(tree_node*, tree_node*, int, tree_node*) ()
#6  0x0000000000e10988 in tsubst(tree_node*, tree_node*, int, tree_node*) ()
#7  0x0000000000e1d7d5 in ?? ()
#8  0x0000000000e1b8af in tsubst_copy_and_build(tree_node*, tree_node*, int,
tree_node*, bool, bool) ()
#9  0x0000000000e1bb50 in tsubst_copy_and_build(tree_node*, tree_node*, int,
tree_node*, bool, bool) ()
#10 0x0000000000e1e7a8 in tsubst_expr(tree_node*, tree_node*, int, tree_node*,
bool) ()
#11 0x0000000000e15289 in ?? ()
#12 0x0000000000e0c2d6 in lookup_template_class(tree_node*, tree_node*,
tree_node*, tree_node*, int, int) ()
#13 0x0000000000e16017 in ?? ()
#14 0x0000000000e19b58 in ?? ()
#15 0x0000000000e0c331 in lookup_template_class(tree_node*, tree_node*,
tree_node*, tree_node*, int, int) ()
#16 0x0000000000e16017 in ?? ()
#17 0x0000000000e19b58 in ?? ()
#18 0x0000000000e0c331 in lookup_template_class(tree_node*, tree_node*,
tree_node*, tree_node*, int, int) ()
#19 0x0000000000e16017 in ?? ()
#20 0x0000000000e19b58 in ?? ()
#21 0x0000000000e0c331 in lookup_template_class(tree_node*, tree_node*,
tree_node*, tree_node*, int, int) ()
#22 0x0000000000e16017 in ?? ()
#23 0x0000000000e19b58 in ?? ()

Started with r241425.