[Bug c++/57419] New: Access control doesn't stop referring to a deleted function

[Bug c++/57419] New: Access control doesn't stop referring to a deleted function

[potswa at mac dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57419

            Bug ID: 57419
           Summary: Access control doesn't stop referring to a deleted
                    function
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: potswa at mac dot com

Using reference-to-member syntax on a private, deleted function in a SFINAE
context fails as a hard error as a use of a deleted function. But it can't be
accessed in the first place due to the access control. Calling the function
instead produces the desired result.

Clang 3.2 accepts this TU but GCC 4.9 rejects:

template< typename q >
decltype( &q::f ) t( q ) {}

char t( ... ) { return {}; }

class c { void f() = delete; };
class d { static void f() = delete; };

static_assert( sizeof( t( c() ) ), "c" );
static_assert( sizeof( t( d() ) ), "d" );

[Bug c++/57419] Access control doesn't stop referring to a deleted function

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57419

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-05-28
     Ever confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to David Krauss from comment #0)
> Using reference-to-member syntax 

You mean taking its address, right?

Access control shouldn't stop it being referred to, but it should result in
substitution failure rather than an error.

[Bug c++/57419] Access control doesn't stop referring to a deleted function

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57419

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com
   Target Milestone|---                         |4.9.0

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
finish_qualified_id_expr gets a complain == 0 and then just calls mark_used
which has naked error calls.

[Bug c++/57419] Access control doesn't stop referring to a deleted function

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57419

Paolo Carlini <paolo.carlini at oracle dot com> changed:

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

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed.

[Bug c++/57419] Access control doesn't stop referring to a deleted function

[potswa at mac dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57419

--- Comment #5 from David Krauss <potswa at mac dot com> ---
Does this also fix #57429?

[Bug c++/57419] Access control doesn't stop referring to a deleted function

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57419

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> ---
No, rather different issues.