https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83583
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2018-01-30 CC| |dmalcolm at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Confirmed for trunk, gcc 7 and gcc 6; gcc 5 didn't have -fconcepts. This assertion in synthesize_implicit_template_parm is failing: 38848 gcc_assert (current_binding_level->kind == sk_function_parms); (gdb) p cfun $1 = (function *) 0x0 (gdb) p scope_chain->bindings->kind $4 = sk_block (gdb) call debug_tree (constr) <type_decl 0x7ffff19d5850 has_main type <template_type_parm 0x7ffff1a075e8 T type_0 type_6 VOID align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7ffff1a075e8 index 0 level 1 orig_level 1 chain <type_decl 0x7ffff19d5688 T>> VOID /tmp/test.cc:8:8 unit-size <var_decl 0x7ffff7ffbcf0 has_main type <boolean_type 0x7ffff1a07930 bool readonly unsigned type_6 QI size <integer_cst 0x7ffff18adf60 constant 8> unit-size <integer_cst 0x7ffff18adf78 constant 1> align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7ffff1a07930 precision:1 min <integer_cst 0x7ffff18cd1c8 0> max <integer_cst 0x7ffff18cd1f8 1>> constant static tree_2 tree_3 unsigned decl_5 decl_6 QI /tmp/test.cc:2:18 size <integer_cst 0x7ffff18adf60 8> unit-size <integer_cst 0x7ffff18adf78 1> align:8 warn_if_not_align:0 context <translation_unit_decl 0x7ffff18ba168 /tmp/test.cc> initial <requires_expr 0x7ffff1a1a348> template-info 0x7ffff1a187c0> align:1 warn_if_not_align:0 initial <type_decl 0x7ffff19d5688 T>>