[Bug c++/53882] New: [4.6/4.7 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[Bug c++/53882] New: [4.6/4.7 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[doko at gcc dot gnu.org]

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

             Bug #: 53882
           Summary: [4.6/4.7 Regression] ICE in
                    type_contains_placeholder_1, at tree.c:3015
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: doko@gcc.gnu.org


seen with the 4.7 branch 20120704 and trunk, works with 4.6:


$ g++ -std=c++0x -c -O foo.cc 
foo.cc: In constructor 'std::function<_Res(_ArgTypes ...)>::function(_Functor)
[with _Functor = std::_Bind<std::_Mem_fn<void (User::*)(void*)>(User*,
std::nullptr_t)>; <template-parameter-2-2> = void; _Res = void; _ArgTypes =
{}]':
foo.cc:12:1: internal compiler error: in type_contains_placeholder_1, at
tree.c:3015
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.

#include <functional>

struct User
{
        void run(void *) {}
};

int main()
{
        User u;
        std::function<void()> p = std::bind(&User::run, &u, nullptr);
}

[Bug c++/53882] [4.7/4.8 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[doko at gcc dot gnu.org]

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

--- Comment #1 from Matthias Klose <doko at gcc dot gnu.org> 2012-07-06 22:04:26 UTC ---
[forwarded from http://bugs.debian.org/680521]

"Seems related to optimization and nullptr in args. When nullptr is replaced
with (void *)0, gcc compiles the code successfully."

[Bug c++/53882] [4.7/4.8 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2012-07-07
     Ever Confirmed|0                           |1

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2012-07-07 12:34:48 UTC ---
Works for me on Linux/x86-64 with GCC 4.7 revision 189343 and
trunk revision 189334.

[Bug c++/53882] [4.7/4.8 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[doko at gcc dot gnu.org]

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

--- Comment #3 from Matthias Klose <doko at gcc dot gnu.org> 2012-07-08 17:59:33 UTC ---
still see this with trunk 189355

[Bug c++/53882] [4.7/4.8 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-09 14:11:11 UTC ---
Author: jason
Date: Mon Jul  9 14:11:01 2012
New Revision: 189386

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189386
Log:
    PR c++/53882
    * tree.c (type_contains_placeholder_1): Handle NULLPTR_TYPE.
    (type_hash_eq): Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/nullptr29.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c

[Bug c++/53882] [4.7/4.8 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-09 14:11:11 UTC ---
Author: jason
Date: Mon Jul  9 14:11:01 2012
New Revision: 189386

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189386
Log:
    PR c++/53882
    * tree.c (type_contains_placeholder_1): Handle NULLPTR_TYPE.
    (type_hash_eq): Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/nullptr29.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-09 14:11:47 UTC ---
Author: jason
Date: Mon Jul  9 14:11:33 2012
New Revision: 189388

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189388
Log:
    PR c++/53882
    * tree.c (type_contains_placeholder_1): Handle NULLPTR_TYPE.
    (type_hash_eq): Likewise.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/nullptr29.C
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree.c

[Bug c++/53882] [4.7/4.8 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-09 14:11:47 UTC ---
Author: jason
Date: Mon Jul  9 14:11:33 2012
New Revision: 189388

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189388
Log:
    PR c++/53882
    * tree.c (type_contains_placeholder_1): Handle NULLPTR_TYPE.
    (type_hash_eq): Likewise.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/nullptr29.C
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree.c

[Bug c++/53882] [4.7/4.8 Regression] ICE in type_contains_placeholder_1, at tree.c:3015

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
                 CC|                            |jason at gcc dot gnu.org
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.2

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-10 09:02:25 UTC ---
Fixed for 4.7.2.