[Bug c++/29225] New: [4.0/4.1/4.2 regression] ICE in make_decl_rtl, at varasm.c:883

[Bug c++/29225] New: [4.0/4.1/4.2 regression] ICE in make_decl_rtl, at varasm.c:883

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/388626]


Attached preprocessed source. removing the template op< near the end
(introduced to find the types of lhs and rhs in the error message that
results) makes the ICE go away.

$ g++ -c 388263.ii 
/home/marc/KDAB/CVS/SWG/trinav/ascshared/util/stl_util.h: In member function
'bool stl_util::less_member_2_m<T, R>::operator()(const boost::shared_ptr<const
T>&, const R_alt&) const [with R_alt =
AscShared::GuiModel::AttributeDescriptor, T = ComputedAttribute, R =
AscShared::GuiModel::AttributeDescriptor ()()const]':
/usr/lib/gcc/i486-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/stl_algo.h:2845:
  instantiated from '_ForwardIterator std::lower_bound(_ForwardIterator,
_ForwardIterator, const _Tp&, _Compare) [with _ForwardIterator =
__gnu_cxx::__normal_iterator<boost::shared_ptr<ComputedAttribute>*,
std::vector<boost::shared_ptr<ComputedAttribute>,
std::allocator<boost::shared_ptr<ComputedAttribute> > > >, _Tp =
AscShared::GuiModel::AttributeDescriptor, _Compare =
stl_util::less_member_2_m<ComputedAttribute,
AscShared::GuiModel::AttributeDescriptor ()()const>]'
object.cpp:81:   instantiated from here
/home/marc/KDAB/CVS/SWG/trinav/ascshared/util/stl_util.h:181: internal compiler
error: in gimplify_expr, at gimplify.c:4513
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.0/4.1/4.2 regression] ICE in make_decl_rtl, at
                    varasm.c:883
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in make_decl_rtl, at varasm.c:883

[debian-gcc at lists dot debian dot org]

------- Comment #1 from debian-gcc at lists dot debian dot org  2006-09-25 22:19 -------
Created an attachment (id=12327)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12327&action=view)
preprocessed source


-- 


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in make_decl_rtl, at varasm.c:883

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.0.4


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in make_decl_rtl, at varasm.c:883

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-09-25 22:36 -------
Reducing.


-- 


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in gimplify_expr, at gimplify.c:4513

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-09-26 07:00 -------
Reduced testcase:
struct ComputedAttribute {
   int descriptor();
};
class AttributeDescriptor {};
template <typename T, typename R>
struct less_member_2_m
{
  typedef R ( T::*T_mem_ptr );
  T_mem_ptr mem_ptr;
  template <typename R_alt>
  bool operator()(R_alt & rhs )
  {
    T *a;
    return ( a->*mem_ptr ) < rhs ;
  }
};
template <typename T, typename R> less_member_2_m<T,R> make_less_member_2( R(
T::*mem_ptr ) ) {}
template <typename LHS, typename RHS>bool operator<( LHS lhs, RHS rhs );
void computedAttribute( AttributeDescriptor & desc  )
{
   make_less_member_2( &ComputedAttribute::descriptor ) (desc) ;
}

----

This is invalid as a->*mem_ptr cannot be used outside of a function.  I don't
know if the orginal code is invalid though.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-09-26 07:00:10
               date|                            |


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in gimplify_expr, at gimplify.c:4513

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-09-26 17:46 -------
> This is invalid as a->*mem_ptr cannot be used outside of a function.
that should be a "function call".


-- 


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in gimplify_expr, at gimplify.c:4513

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in gimplify_expr, at gimplify.c:4513

[seongbae dot park at gmail dot com]

------- Comment #5 from seongbae dot park at gmail dot com  2006-10-13 02:27 -------
A modified and valid case which doesn't cause ICE:


template <typename LHS, typename RHS>bool operator<( LHS lhs, RHS rhs );

struct ComputedAttribute {
    int descriptor();
};

class AttributeDescriptor {};

template <typename T, typename R>
struct less_member_2_m
{
   typedef R (T::* T_mem_ptr) ();
   T_mem_ptr mem_ptr;

   template <typename R_alt>
   bool operator()(R_alt & rhs )
   {
     T a;
     return ( a.*mem_ptr  )() < rhs ;
   }
};

void computedAttribute( AttributeDescriptor & desc  )
{
    less_member_2_m<ComputedAttribute, int> m;
    m.mem_ptr = &ComputedAttribute::descriptor;

    m(desc);
}


Change the operator() to:
   template <typename R_alt>
   bool operator()(R_alt & rhs )
   {
     T a;
     return ( a.*mem_ptr ) < rhs ;
   }

causes the ICE.
# /home/spark/blds/trunk-work/bin/g++ -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /home/spark/local/ws/trunk-work/configure
--prefix=/home/spark/blds/trunk-work/ --disable-nls --disable-multilib
-enable-threads=posix --enable-symvers=gnu --enable-__cxa_atexit -enable-c99
--enable-long-long --enable-shared --enable-languages=c,c++
Thread model: posix
gcc version 4.2.0 20061006 (experimental)
# /home/spark/blds/trunk-work/bin/g++ correct.cc -c
# /home/spark/blds/trunk-work/bin/g++ incorrect.cc -c
incorrect.cc: In member function 'bool less_member_2_m<T,
R>::operator()(R_alt&) [with R_alt = AttributeDescriptor, T =
ComputedAttribute, R = int]':
incorrect.cc:28:   instantiated from here
incorrect.cc:19: internal compiler error: in gimplify_expr, at gimplify.c:5806
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
#

Note that this is the same ICE I get from the attachment.


-- 

seongbae dot park at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |seongbae dot park at gmail
                   |                            |dot com


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

[Bug c++/29225] [4.0/4.1/4.2/4.3 regression] ICE in gimplify_expr, at gimplify.c:4513

[gdr at gcc dot gnu dot org]

------- Comment #6 from gdr at gcc dot gnu dot org  2007-02-03 20:25 -------
won't fix in GCC-4.0.x.  Adjusting milestone.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.4                       |4.1.3


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

[Bug c++/29225] [4.0/4.1/4.2/4.3 regression] ICE in gimplify_expr, at gimplify.c:4513

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.3                       |4.1.2


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

[Bug c++/29225] [4.0/4.1/4.2/4.3 regression] ICE in gimplify_expr, at gimplify.c:4513

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.2                       |4.1.3


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

[Bug c++/29225] [4.0/4.1/4.2/4.3 regression] ICE in gimplify_expr, at gimplify.c:4513

[aldyh at gcc dot gnu dot org]

-- 

aldyh at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |aldyh at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/29225] [4.0/4.1/4.2/4.3 regression] ICE in gimplify_expr, at gimplify.c:4513

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2007-11-12 16:20 -------
Testing a fix.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|aldyh at gcc dot gnu dot org|jakub at gcc dot gnu dot org


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

[Bug c++/29225] [4.0/4.1/4.2/4.3 regression] ICE in gimplify_expr, at gimplify.c:4513

[jakub at gcc dot gnu dot org]

------- Comment #8 from jakub at gcc dot gnu dot org  2007-11-12 23:17 -------
Subject: Bug 29225

Author: jakub
Date: Mon Nov 12 23:17:18 2007
New Revision: 130126

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130126
Log:
        PR c++/29225
        * call.c (build_new_op): Call resolve_args before calling
        build_over_call.

        * g++.dg/template/crash72.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/crash72.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/29225] [4.0/4.1/4.2 regression] ICE in gimplify_expr, at gimplify.c:4513

[jakub at gcc dot gnu dot org]

------- Comment #9 from jakub at gcc dot gnu dot org  2007-11-12 23:23 -------
Fixed on the trunk so far.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1/4.2/4.3 regression]|[4.0/4.1/4.2 regression] ICE
                   |ICE in gimplify_expr, at    |in gimplify_expr, at
                   |gimplify.c:4513             |gimplify.c:4513


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

[Bug c++/29225] [4.2 regression] ICE in gimplify_expr, at gimplify.c:4513

[jsm28 at gcc dot gnu dot org]

------- Comment #10 from jsm28 at gcc dot gnu dot org  2008-07-04 21:32 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 regression] ICE in |[4.2 regression] ICE in
                   |gimplify_expr, at           |gimplify_expr, at
                   |gimplify.c:4513             |gimplify.c:4513
   Target Milestone|4.1.3                       |4.2.5


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

[Bug c++/29225] [4.2 regression] ICE in gimplify_expr, at gimplify.c:4513

[jsm28 at gcc dot gnu dot org]

------- Comment #11 from jsm28 at gcc dot gnu dot org  2009-03-30 19:38 -------
Closing 4.2 branch, fixed in 4.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.0.4 4.1.2 4.2.0           |4.0.4 4.1.2 4.2.0 4.2.5
      Known to work|3.4.6                       |3.4.6 4.3.0
         Resolution|                            |FIXED
   Target Milestone|4.2.5                       |4.3.0


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