[Bug c++/51556] New: Bizarre member template protection errors

[Bug c++/51556] New: Bizarre member template protection errors

[luto at mit dot edu]

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

             Bug #: 51556
           Summary: Bizarre member template protection errors
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: luto@mit.edu


Created attachment 26086
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26086
Failing test

I'm not really sure what's going on here, so this test case isn't very well
reduced.

multiindex_success.cc compiles (as IMO it should).  multiindex_failure.cc fails
to compile (which is IMO wrong) with this error:

/usr/include/boost/multi_index/detail/index_base.hpp: In member function ‘void
A::Test2(const Irrelevant&) [with Irrelevant = int]’:
/usr/include/boost/multi_index/detail/index_base.hpp:49:44: error: ‘typedef
struct boost::multi_index::detail::index_node_base<Entry, std::allocator<Entry>
> boost::multi_index::detail::index_base<Entry,
boost::multi_index::indexed_by<boost::multi_index::ordered_unique<boost::multi_index::tag<A::ById>,
boost::multi_index::member<Entry, int, &Entry::id> > >, std::allocator<Entry>
>::node_type’ is protected
multiindex_failure.cc:42:11: error: within this context

The error is garbage, since there is no reference to node_type in that context.

The two test cases are identical except that I've reversed the order of two
member functions.

Preprocessed source attached, because I haven't yet reproduced this without
using boost libraries.

Seen on g++ (GCC) 4.6.2 20111027 (Red Hat 4.6.2-1) and an old-ish 4.7 trunk
build.

[Bug c++/51556] Bizarre member template protection errors

[luto at mit dot edu]

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

--- Comment #1 from Andy Lutomirski <luto at mit dot edu> 2011-12-14 20:28:28 UTC ---
Created attachment 26087
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26087
Working test

[Bug c++/51556] Bizarre member template protection errors

[luto at mit dot edu]

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

--- Comment #2 from Andy Lutomirski <luto at mit dot edu> 2011-12-14 20:30:01 UTC ---
Created attachment 26088
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26088
Preprocessed test cases

[Bug c++/51556] Bizarre member template protection errors

[manu at gcc dot gnu.org]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manu at gcc dot gnu.org

--- Comment #3 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2011-12-14 21:23:13 UTC ---
It fails with GCC 4.7 revision 180166.

It compiles cleanly with clang 3.1.

[Bug c++/51556] Bizarre member template protection errors

[luto at mit dot edu]

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

--- Comment #4 from Andy Lutomirski <luto at mit dot edu> 2011-12-15 00:00:18 UTC ---
Created attachment 26095
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26095
Partially reduced test case

This is reduced by a combination of fiddling by hand and automated reduction. 
It's still not pretty, but it's considerably shorter than the original version.

I still haven't been able to reproduce the bug from scratch.

[Bug c++/51556] Bizarre member template access control errors

[paolo.carlini at oracle dot com]

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

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-12-28 18:12:17 UTC ---
This works with current (Rev 182710) mainline.

[Bug c++/51556] Bizarre member template access control errors

[paolo.carlini at oracle dot com]

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

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-01 13:40:08 UTC ---
If we can figure out a small testcase we can add it and close the issue as
fixed for 4.7.0.

[Bug c++/51556] Bizarre member template access control errors

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
      Known to work|                            |4.7.0, 4.8.0
         Resolution|                            |WORKSFORME

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-05 19:28:51 UTC ---
Works in mainline and 4.7.