[Bug c++/46807] New: internal compiler error: in synthesized_method_walk

[Bug c++/46807] New: internal compiler error: in synthesized_method_walk

[rwgk at yahoo dot com]

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

           Summary: internal compiler error: in synthesized_method_walk
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rwgk@yahoo.com


Fedora 14 64-bit
gcc svn trunk rev. 167466
g++ (GCC) 4.6.0 20101205 (experimental)

% g++ -c gcc46_ice.cpp 
In file included from gcc46_ice.cpp:1:0:
/usr/include/boost/foreach.hpp: In function
'boost::foreach_detail_::auto_any<T> boost::foreach_detail_::contain(const T&,
mpl_::true_*) [with T =
boost::iterator_range<__gnu_cxx::__normal_iterator<item**, std::vector<item*> >
>, mpl_::true_ = mpl_::bool_<true>]':
gcc46_ice.cpp:12:3:   instantiated from 'void work(const
boost::iterator_range<T>&) [with ForwardIteratorType =
__gnu_cxx::__normal_iterator<item**, std::vector<item*> >]'
gcc46_ice.cpp:19:42:   instantiated from here
/usr/include/boost/foreach.hpp:609:12: internal compiler error: in
synthesized_method_walk, at cp/method.c:1308
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/46807] internal compiler error: in synthesized_method_walk

[rwgk at yahoo dot com]

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

--- Comment #1 from rwgk at yahoo dot com 2010-12-05 07:42:02 UTC ---
Created attachment 22640
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22640
reproducer

Reproducer depends on <vector> and boost as shipped with Fedora 14.

[Bug c++/46807] internal compiler error: in synthesized_method_walk

[rwgk at yahoo dot com]

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

--- Comment #2 from rwgk at yahoo dot com 2010-12-17 22:34:16 UTC ---
Using a binary search I found that svn rev. 161579 introduced the ICE.

(Note that I had to replace gcc/config/i386/i386.md with rev. 161594
since gcc doesn't build otherwise.)

% svn log -v -r 161579
------------------------------------------------------------------------
r161579 | jason | 2010-06-29 17:50:57 -0700 (Tue, 29 Jun 2010) | 40 lines
Changed paths:
   M /trunk/gcc/cp/ChangeLog
   M /trunk/gcc/cp/call.c
   M /trunk/gcc/cp/class.c
   M /trunk/gcc/cp/cp-tree.h
   M /trunk/gcc/cp/decl.c
   M /trunk/gcc/cp/method.c
   M /trunk/gcc/cp/search.c
   M /trunk/gcc/cp/semantics.c
   M /trunk/gcc/cp/tree.c

        Machinery to support implicit delete/move.
        * cp-tree.h: (struct lang_type_class): Add lazy_move_assign,
        has_complex_move_ctor, has_complex_move_assign bitfields.
        (CLASSTYPE_LAZY_MOVE_ASSIGN): New.
        (TYPE_HAS_COMPLEX_MOVE_ASSIGN): New.
        (TYPE_HAS_COMPLEX_MOVE_CTOR): New.
        (enum special_function_kind): Add sfk_move_assignment.
        (LOOKUP_SPECULATIVE): New.
        * call.c (build_over_call): Return early if it's set.
        (build_over_call): Use trivial_fn_p.
        * class.c (check_bases): If the base has no default constructor,
        the derived one is non-trivial.  Handle move ctor/op=.
        (check_field_decl): Likewise.
        (check_bases_and_members): Handle move ctor/op=.
        (add_implicitly_declared_members): Handle CLASSTYPE_LAZY_MOVE_ASSIGN.
        (type_has_move_constructor, type_has_move_assign): New.
        * decl.c (grok_special_member_properties): Handle move ctor/op=.
        * method.c (type_has_trivial_fn, type_set_nontrivial_flag): New.
        (trivial_fn_p): New.
        (do_build_copy_constructor): Use it.
        (do_build_assign_ref): Likewise.  Handle move assignment.
        (build_stub_type, build_stub_object, locate_fn_flags): New.
        (locate_ctor): Use locate_fn_flags.
        (locate_copy, locate_dtor): Remove.
        (get_dtor, get_default_ctor, get_copy_ctor, get_copy_assign): New.
        (process_subob_fn, synthesized_method_walk): New.
        (maybe_explain_implicit_delete): New.
        (implicitly_declare_fn): Use synthesized_method_walk,
        type_has_trivial_fn, and type_set_nontrivial_flag.
        (defaulted_late_check): Set DECL_DELETED_FN.
        (defaultable_fn_check): Handle sfk_move_assignment.
        (lazily_declare_fn): Clear CLASSTYPE_LAZY_* early.  Don't declare
        implicitly deleted move ctor/op=.
        * search.c (lookup_fnfields_1): Handle sfk_move_assignment.
        (lookup_fnfields_slot): New.
        * semantics.c (omp_clause_info_fndecl): Remove.
        (cxx_omp_create_clause_info): Use get_default_ctor, get_copy_ctor,
        get_copy_assign, trivial_fn_p.
        (trait_expr_value): Adjust call to locate_ctor.
        * tree.c (special_function_p): Handle sfk_move_assignment.
------------------------------------------------------------------------

[Bug c++/46807] internal compiler error: in synthesized_method_walk

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-12-17 22:37:56 UTC ---
Can you provide the preprocessed source?

[Bug c++/46807] internal compiler error: in synthesized_method_walk

[rwgk at yahoo dot com]

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

--- Comment #4 from rwgk at yahoo dot com 2011-01-07 04:28:46 UTC ---
I just saw the "GCC 4.6.0 Status Report (2011-01-04), Stage 3 is over"
announcement.

This bug should be a P1 since it is an ICE on valid code.

If necessary I'll try to reduce the reproducer, but since that is likely
to be a significant effort, I'd like to be sure that someone is paying
attention. Is there?

[Bug c++/46807] internal compiler error: in synthesized_method_walk

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-07 09:27:50 UTC ---
You don't need to reduce the testcase yourself (of course it is appreciated if
you do), all you need is provide the preprocessed source.  If we have a
testcase and it is reproduceable, it will be marked as regression and
categorized properly eventually.

[Bug c++/46807] internal compiler error: in synthesized_method_walk

[rwgk at yahoo dot com]

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

--- Comment #6 from rwgk at yahoo dot com 2011-01-07 18:29:59 UTC ---
Created attachment 22928
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22928
pre-processor output of original reproducer

Created with (Fedora 14 64-bit):

  g++ -E gcc_bugs/pr46807_gcc46_ice.cpp

This command still produces the original ICE  with gcc svn trunk rev. 168562:

  g++ -E ~/gcc_bugs/pr46807_gcc46_ice.cpp

[Bug c++/46807] internal compiler error: in synthesized_method_walk

[rwgk at yahoo dot com]

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

--- Comment #7 from rwgk at yahoo dot com 2011-01-07 18:32:12 UTC ---
> This command still produces the original ICE  with gcc svn trunk rev. 168562:

Sorry, cut and paste error. The last command should have been

g++ -O3 pr46807_gcc46_ice_pre_processed.cpp

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.01.07 18:35:19
      Known to work|                            |4.5.2
            Summary|internal compiler error: in |[4.6 Regression] internal
                   |synthesized_method_walk     |compiler error: in
                   |                            |synthesized_method_walk
     Ever Confirmed|0                           |1

--- Comment #8 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-07 18:35:19 UTC ---
confirmed

no ICE with 4.5.2

no ICE with 4.6.0 when using -std=c++0x

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[redi at gcc dot gnu.org]

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

--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-07 19:27:16 UTC ---
Created attachment 22929
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22929
manually reduced ... a little

this has no dependency on <vector> and has some unused boost code removed

once boost::mpl gets involved it's hard to reduce manually any further, maybe
someone will have more luck with delta

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[hjl.tools at gmail dot com]

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

--- Comment #10 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-08 02:21:39 UTC ---
Created attachment 22931
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22931
A reduced testcase

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[jakub at gcc dot gnu.org]

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

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-19 19:45:17 UTC ---
Created attachment 23033
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23033
pr46807.ii

Even further reduced testcase (and this time one that compiles without errors
with g++ 4.5).

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #12 from Jason Merrill <jason at gcc dot gnu.org> 2011-01-21 19:26:12 UTC ---
Much further reduced:

struct A
{
  A() {}
  template <class T> A(T&);
};

struct B
{
  mutable A a;
};

int main()
{
  B b;
  B b2(b);
}

The problem is that 'mutable' makes us choose the template constructor for
copying the A field of B.  This is a change of semantics, and definitely needs
to be fixed.

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> 2011-02-11 22:33:33 UTC ---
Mine.

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #14 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-02-14 08:20:09 UTC ---
Really assign.

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[jason at gcc dot gnu.org]

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

--- Comment #15 from Jason Merrill <jason at gcc dot gnu.org> 2011-02-16 00:39:31 UTC ---
Author: jason
Date: Wed Feb 16 00:39:27 2011
New Revision: 170207

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170207
Log:
    PR c++/46807
    * method.c (synthesized_method_walk): Always exit early for
    trivial fn in C++98 mode.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/implicit-trivial1.C
    trunk/gcc/testsuite/g++.dg/inherit/implicit-trivial1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/method.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[rwgk at yahoo dot com]

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

--- Comment #16 from rwgk at yahoo dot com 2011-02-16 05:08:05 UTC ---
Thank you very much! The original problem is solved, too.

[Bug c++/46807] [4.6 Regression] internal compiler error: in synthesized_method_walk

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #17 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-02-16 07:04:44 UTC ---
Fixed then.