[Bug c++/53451] New: [4.8 regression] ICE verify_gimple failed

[Bug c++/53451] New: [4.8 regression] ICE verify_gimple failed

[vincenzo.innocente at cern dot ch]

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

             Bug #: 53451
           Summary: [4.8 regression] ICE verify_gimple failed
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: vincenzo.innocente@cern.ch


requires boost
(p.s. last working version of 4.8 for what I'm concerned is revision 187326)

cat ice2205.cc 
#include <vector>
#include <algorithm>
#include <boost/bind/bind.hpp>


struct A {
  int i;
};

bool foo(std::vector<A> const & va, int q) {
   auto it = std::find_if(va.begin(), va.end(), boost::bind(&A::i, _1) == q);
  return it != va.end();
} 
[vocms123] ~/public/ctest/bugs48 $ c++ -v
Using built-in specs.
COLLECT_GCC=c++
COLLECT_LTO_WRAPPER=/afs/cern.ch/user/i/innocent/w3/gcc47slc5/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-trunk/configure --enable-languages=c,c++,fortran
--disable-multilib --enable-gold=yes --disable-nls --enable-lto
--with-mpc=/afs/cern.ch/cms/slc5_amd64_gcc470/external/gcc/4.7.0
--with-gmp=/afs/cern.ch/cms/slc5_amd64_gcc470/external/gcc/4.7.0
--with-mpfr=/afs/cern.ch/cms/slc5_amd64_gcc470/external/gcc/4.7.0
--prefix=/afs/cern.ch/user/i/innocent/w3/gcc47slc5
--with-build-time-tools=/build/ge/new-binutils/a/slc5_amd64_gcc470/external/gcc/4.7.0-cms/bin
Thread model: posix
gcc version 4.8.0 20120522 (experimental) [trunk revision 187760] (GCC) 

[vocms123] ~/public/ctest/bugs48 $ c++ -std=c++11 -c ice2205.cc
-I/build/ge/new-binutils/a/slc5_amd64_gcc470/external/boost/1.49.0-cms3/include
In file included from
/build/ge/new-binutils/a/slc5_amd64_gcc470/external/boost/1.49.0-cms3/include/boost/mem_fn.hpp:22:0,
                 from
/build/ge/new-binutils/a/slc5_amd64_gcc470/external/boost/1.49.0-cms3/include/boost/bind/bind.hpp:26,
                 from ice2205.cc:3:
/build/ge/new-binutils/a/slc5_amd64_gcc470/external/boost/1.49.0-cms3/include/boost/bind/mem_fn.hpp:
In member function 'const R& boost::_mfi::dm<R, T>::operator()(const T&) const
[with R = int; T = A]':
/build/ge/new-binutils/a/slc5_amd64_gcc470/external/boost/1.49.0-cms3/include/boost/bind/mem_fn.hpp:362:15:
error: invalid types in nop conversion
     R const & operator()(T const & t) const
               ^
sizetype
<<< Unknown tree: offset_type >>>
D.66000 = (sizetype) D.65999;

/build/ge/new-binutils/a/slc5_amd64_gcc470/external/boost/1.49.0-cms3/include/boost/bind/mem_fn.hpp:362:15:
internal compiler error: verify_gimple failed

[Bug c++/53451] [4.8 regression] ICE verify_gimple failed

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.8.0

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-22 12:47:37 UTC ---
I think I fixed that with

2012-05-22  Richard Guenther  <rguenther@suse.de>

        * tree-cfg.c (verify_gimple_assign_unary): Fix typo in previous
        commit.

[Bug c++/53451] [4.8 regression] ICE verify_gimple failed

[vincenzo.innocente at cern dot ch]

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

vincenzo Innocente <vincenzo.innocente at cern dot ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |INVALID

--- Comment #2 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-22 13:18:32 UTC ---
indeed.
ok with trunk revision 187772