[Bug c++/64335] New: decltype and access of a private member type

[Bug c++/64335] New: decltype and access of a private member type

[ville.voutilainen at gmail dot com]

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

            Bug ID: 64335
           Summary: decltype and access of a private member type
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ville.voutilainen at gmail dot com

This compiles fine:

#include <chrono>

class foo { std::chrono::high_resolution_clock clock;};

static_assert(!decltype(foo::clock)::is_steady, "xxx");

This doesn't:

class foo {
    class bar {typedef int foo;};
};

int main()
{
    decltype (foo::bar) y;
}

Clang rejects both.

[Bug c++/64335] decltype and access of a private member type

[ville.voutilainen at gmail dot com]

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

--- Comment #1 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
Pardon that, the latter example contains remnants of other experiments. Here's
a simplified version, (not that it really should matter :) )

class foo {
    class bar {};
};

int main()
{
    decltype (foo::bar) y;
}

This is rejected properly.

[Bug c++/64335] decltype and access of a private member type

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
   Target Milestone|---                         |6.0
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
This was fixed for GCC 6 by:

    Fix decltype-call1.C with -std=c++1z.

            * parser.h (struct cp_token): Tell GTY that CPP_DECLTYPE uses
            tree_check_value.
            * parser.c (cp_parser_decltype): Use tree_check_value.
            (saved_checks_value): New.
            (cp_parser_nested_name_specifier_opt): Use it.
            (cp_parser_template_id): Use it.
            (cp_parser_simple_type_specifier): Use it.
            (cp_parser_pre_parsed_nested_name_specifier): Use it.

    From-SVN: r231353