[Bug c++/100557] New: [ICE] Internal compiler error: Error reporting routines re-entered.

[Bug c++/100557] New: [ICE] Internal compiler error: Error reporting routines re-entered.

[ldalessandro at gmail dot com]

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

            Bug ID: 100557
           Summary: [ICE] Internal compiler error: Error reporting
                    routines re-entered.
           Product: gcc
           Version: 11.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ldalessandro at gmail dot com
  Target Milestone: ---

Not sure if this duplicates https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90747.


/home/ldalessa/open/ttl20/include/ttl/cpos.hpp:164:17: note:   template
argument deduction/substitution failed:
/home/ldalessa/open/ttl20/include/ttl/cpos.hpp:164:17: note: constraints not
satisfied
'
Internal compiler error: Error reporting routines re-entered.
0x677082 satisfaction_cache::get()
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:2668
0x67add5 satisfy_atom
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:2942
0x67add5 satisfy_constraint_r
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:3047
0x67b1ab satisfy_normalized_constraints
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:3072
0x67918b satisfy_declaration_constraints
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:3280
0x67918b constraint_satisfaction_value
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:3300
0x6790f0 constraint_satisfaction_value
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:3311
0x67b250 constraints_satisfied_p(tree_node*, tree_node*)
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/constraint.cc:3337
0x7ad8d2 fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, conversion**, bool,
bool)
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/pt.c:21686
0x646839 add_template_candidate_real
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/call.c:3456
0x646fef add_template_candidate
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/call.c:3541
0x646fef add_candidates
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/call.c:6031
0x647527 add_candidates
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/call.c:4597
0x647527 perform_overload_resolution
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/call.c:4605
0x64b285 build_new_function_call(tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/call.c:4679
0x7c17bc finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/semantics.c:2830
0x78ed56 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/pt.c:20518
0x7923c2 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/pt.c:16223
0x7923c2 tsubst(tree_node*, tree_node*, int, tree_node*)
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/pt.c:16223
0x6cb421 dump_template_bindings
       
/tmp/ldalessa/spack-stage/spack-stage-gcc-11.1.0-iti6b3aunvr257imqro4hr6gsq2rc4h6/spack-src/gcc/cp/error.c:446

[Bug c++/100557] [ICE] Internal compiler error: Error reporting routines re-entered.

[ldalessandro at gmail dot com]

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

--- Comment #1 from Luke Dalessandro <ldalessandro at gmail dot com> ---
Created attachment 50796
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50796&action=edit
Preprocessed source (bzipped for size)

[Bug c++/100557] [ICE] Internal compiler error: Error reporting routines re-entered.

[ldalessandro at gmail dot com]

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

--- Comment #2 from Luke Dalessandro <ldalessandro at gmail dot com> ---
Still failing in trunk, here's a CE link to the preprocessed source
https://godbolt.org/z/YPfTGnT5f.

[Bug c++/100557] [concepts] Internal compiler error: Error reporting routines re-entered.

[ppalka at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |67491
     Ever confirmed|0                           |1
                 CC|                            |ppalka at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-11-03
            Summary|[ICE] Internal compiler     |[concepts] Internal
                   |error: Error reporting      |compiler error: Error
                   |routines re-entered.        |reporting routines
                   |                            |re-entered.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491
[Bug 67491] [meta-bug] concepts issues

[Bug c++/100557] [concepts] Internal compiler error: Error reporting routines re-entered.

[ppalka at gcc dot gnu.org]

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

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Reduced:

template <typename _Tp> _Tp declval();

struct print_tag_;

bool tag_invoke(print_tag_, auto);
bool tag_invoke(print_tag_, auto obj) requires requires { *obj; };

template <typename CPO, typename... Args>
auto try_tag_invoke() noexcept(tag_invoke(declval<CPO>, declval<Args>()...))
    -> decltype(tag_invoke(CPO(), declval<Args>()...));

struct print_tag_ {
  void operator()(auto... args) noexcept(noexcept( try_tag_invoke<print_tag_,
decltype(args)...>()));
} print;

void foo() {
  print(0);
}

[Bug c++/100557] [11/12/13 Regression] Internal compiler error: Error reporting routines re-entered.

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.4
      Known to fail|                            |11.1.0
            Summary|[concepts] Internal         |[11/12/13 Regression]
                   |compiler error: Error       |Internal compiler error:
                   |reporting routines          |Error reporting routines
                   |re-entered.                 |re-entered.

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This is a regression from GCC 10.

[Bug c++/100557] [11/12/13 Regression] Internal compiler error: Error reporting routines re-entered.

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug c++/100557] [11/12/13/14 Regression] Internal compiler error: Error reporting routines re-entered.

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |mpolacek at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org

--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed by Patrick's r14-3809.  I'll add the test; the patch was fixing a
different problem.

[Bug c++/100557] [11/12/13/14 Regression] Internal compiler error: Error reporting routines re-entered.

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:c0e199e4dbe652cd16d7248f0bfe166540f5d95b

commit r14-9674-gc0e199e4dbe652cd16d7248f0bfe166540f5d95b
Author: Marek Polacek <polacek@redhat.com>
Date:   Tue Mar 26 10:39:48 2024 -0400

    c++: add fixed test [PR100557]

    We used to hit the "Error reporting routines re-entered." ICE here but
    it was fixed by Patrick's r14-3809.

            PR c++/100557

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-pr100557.C: New test.

[Bug c++/100557] [11/12/13/14 Regression] Internal compiler error: Error reporting routines re-entered.

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Added.