[Bug c++/55361] New: Access control in templates only happens when instantiating a method

[Bug c++/55361] New: Access control in templates only happens when instantiating a method

[joerg at netbsd dot org]

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

             Bug #: 55361
           Summary: Access control in templates only happens when
                    instantiating a method
    Classification: Unclassified
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: joerg@netbsd.org


Consider the following example:

class C
{
    bool blocked;
};
template < class > struct F
{
    void operator* ()
    {
        C a;
        a.blocked;
    }
};

int main() {
F<int> x;
}

The operator is violating the access specifications of C, but this isn't
detected until it is actually used. Nothing in it depends on the template
though, so this check should happen earlier.

[Bug c++/55361] Access control in templates only happens when instantiating a method

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-11-16 22:32:03 UTC ---
The Comeau C/C++ online tester does not error out on this testcase.

[Bug c++/55361] Access control in templates only happens when instantiating a method

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-11-16 22:38:47 UTC ---
I don't think this is a gcc bug as access control is always done only at
template-instantiation time.

[Bug c++/55361] Access control in templates only happens when instantiating a method

[paolo.carlini at oracle dot com]

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-16 23:06:09 UTC ---
Likewise EDG as used by Intel. clang errors out. From the user point of view,
to make debugging easier, the earlier errors are produced the better, but this
is just a general principle, thus I don't think this is a compiler bug, at most
a QoI issue. A well known one, by the way: in many, many, other cases we aren't
very aggressive at that.

[Bug c++/55361] Access control in templates only happens when instantiating a method

[redi at gcc dot gnu.org]

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

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-11-17 00:19:18 UTC ---
unless this is recategorised as a diagnostic enhancement request this is
clearly invalid, the compiler is not required to give an error for this code

[Bug c++/55361] Access control in templates only happens when instantiating a method

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
           Severity|normal                      |enhancement

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-02-08 09:17:40 UTC ---
[temp.res]/8
If no valid specialization can be generated for a template, and that template
is not instantiated, the template is ill-formed, no diagnostic required.
                                              ^^^^^^^^^^^^^^^^^^^^^^

[Bug c++/55361] Access control in templates only happens when instantiating a method

[ppalka at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zhonghao at pku dot org.cn

--- Comment #7 from Patrick Palka <ppalka at gcc dot gnu.org> ---
*** Bug 90925 has been marked as a duplicate of this bug. ***