[Bug c++/85278] [concepts] Garbled diagnostic

[Bug c++/85278] [concepts] Garbled diagnostic

[ppalka at gcc dot gnu.org]

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

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

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

[Bug c++/85278] [concepts] Garbled diagnostic

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:58a29af8ef14bfa2d595deed5144891bff821eff

commit r10-7720-g58a29af8ef14bfa2d595deed5144891bff821eff
Author: Patrick Palka <ppalka@redhat.com>
Date:   Tue Apr 14 14:22:31 2020 -0400

    c++: "'decltype_type' not supported" in diagnostic [PR85278]

    This fixes a garbled concepts diagnostic by moving the handling of
DECLTYPE_TYPE
    from pp_cxx_type_specifier_seq to
cxx_pretty_printer::simple_type_specifier, a
    move which also seems to be more consistent with the language grammar.

    This patch also fixes pretty printing of rvalue reference types via
    cxx_pretty_printer::type_id, which eventually calls pp_c_pointer which
currently
    doesn't distinguish between lvalue and rvalue references.

    gcc/c-family/ChangeLog:

            PR c++/85278
            * c-pretty-print.c (pp_c_pointer) <case REFERENCE_TYPE>: Print a
double
            ampersand if it's an rvalue reference type.

    gcc/cp/ChangeLog:

            PR c++/85278
            * cxx-pretty-print.c (cxx_pretty_printer:simple_type_specifier)
            <case DECLTYPE_TYPE>: Handle DECLTYPE_TYPE here instead of ...
            (pp_cxx_type_specifier_seq) <case DECLTYPE_TYPE>: ... here.
            (cxx_pretty_printer::direct_abstract_declarator) <case
DECLTYPE_TYPE>:
            New no-op case.

    gcc/testsuite/ChangeLog:

            PR c++/85278
            * g++.dg/concepts/diagnostic9.C: New test.

[Bug c++/85278] [concepts] Garbled diagnostic

[ppalka at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
   Target Milestone|---                         |10.0
         Resolution|---                         |FIXED

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed for GCC 10.