https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85278
Bug ID: 85278 Summary: [concepts] Garbled diagnostic Product: gcc Version: 8.0 Status: UNCONFIRMED Keywords: diagnostic Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: reichelt at gcc dot gnu.org Blocks: 67491 Target Milestone: --- The testcase gcc/testsuite/g++.dg/concepts/req2.C produces a broken diagnostic since GCC 6.1.0: req2.C:18:14: error: cannot call function 'void f2(auto:2) requires (<requires (#'decltype_type' not supported by simple_type_specifier#x#'decltype_type' not supported by direct_abstract_declarator#) <valid-expression (-x)>> [with auto:2 = void*]' The offending testcase can be reduced to: ====================================================== void f2(auto a) requires requires (decltype(a) x) { -x; } { } int main() { f2((void*)0); } ====================================================== Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 [Bug 67491] [meta-bug] concepts issues