[Bug c++/53177] New: 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[Bug c++/53177] New: 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[hjl.tools at gmail dot com]

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

             Bug #: 53177
           Summary: 20_util/function/cons/callable.cc failed with -m32
                    -march=corei7
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: hjl.tools@gmail.com


On Linux/ia32, I got

/export/gnu/import/git/gcc-regression/master/186948/bld/./gcc/g++
-shared-libgcc -B/export/gnu/import/git/gcc-regression/master/186948/bld/./gcc
-nostdinc++
-L/export/gnu/import/git/gcc-regression/master/186948/bld/x86_64-unknown-linux-gnu/32/libstdc++-v3/src
-L/export/gnu/import/git/gcc-regression/master/186948/bld/x86_64-unknown-linux-gnu/32/libstdc++-v3/src/.libs
-B/export/gnu/import/git/gcc-regression/master/186948/usr/x86_64-unknown-linux-gnu/bin/
-B/export/gnu/import/git/gcc-regression/master/186948/usr/x86_64-unknown-linux-gnu/lib/
-isystem
/export/gnu/import/git/gcc-regression/master/186948/usr/x86_64-unknown-linux-gnu/include
-isystem
/export/gnu/import/git/gcc-regression/master/186948/usr/x86_64-unknown-linux-gnu/sys-include
-m32
-B/export/gnu/import/git/gcc-regression/master/186948/bld/x86_64-unknown-linux-gnu/32/libstdc++-v3/src/.libs
-D_GLIBCXX_ASSERT -fmessage-length=0 -ffunction-sections -fdata-sections -g -O2
-D_GNU_SOURCE  -DLOCALEDIR="." -nostdinc++
-I/export/gnu/import/git/gcc-regression/master/186948/bld/x86_64-unknown-linux-gnu/32/libstdc++-v3/include/x86_64-unknown-linux-gnu
-I/export/gnu/import/git/gcc-regression/master/186948/bld/x86_64-unknown-linux-gnu/32/libstdc++-v3/include
-I/export/gnu/import/git/gcc-regression/gcc/libstdc++-v3/libsupc++
-I/export/gnu/import/git/gcc-regression/gcc/libstdc++-v3/include/backward
-I/export/gnu/import/git/gcc-regression/gcc/libstdc++-v3/testsuite/util
/export/gnu/import/git/gcc-regression/gcc/libstdc++-v3/testsuite/20_util/function/cons/callable.cc
  -std=gnu++0x -S  -m32 -march=corei7 -o callable.s 
In file included from
/export/gnu/import/git/gcc-regression/gcc/libstdc++-v3/testsuite/20_util/function/cons/callable.cc:21:0:
/export/gnu/import/git/gcc-regression/master/186948/bld/x86_64-unknown-linux-gnu/32/libstdc++-v3/include/functional:
In function ‘void test01()’:
/export/gnu/import/git/gcc-regression/master/186948/bld/x86_64-unknown-linux-gnu/32/libstdc++-v3/include/functional:2057:63:
internal compiler error: tree check: expected tree_vec, have error_mark in
comp_template_args_with_info, at cp/pt.c:7038
  using _Requires = typename enable_if<_Cond::value, _Tp>::type;
                                                               ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/53177] 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-05-01
         AssignedTo|unassigned at gcc dot       |redi at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-01 20:59:00 UTC ---
mine

[Bug c++/53177] 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-01 21:06:37 UTC ---
Created attachment 27277
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27277
testcase

I was seeing an ICE in the same place with an earlier version of the changes
which caused this testcase regression.  I have only managed to reduce it to 10k
lines so far - that delta-reduced file is attached, I haven't had time to try
manually reducing it.

Presumably fixing the ICE for this file will also fix it for this the testcase
regression.

[Bug c++/53177] 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[redi at gcc dot gnu.org]

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

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

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

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-01 21:08:16 UTC ---
Unassigning myself.  I don't think there's any more I can do beyond providing
the testcase.  Let me know if my patch needs to be reverted.

[Bug c++/53177] 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[marc.glisse at normalesup dot org]

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

Marc Glisse <marc.glisse at normalesup dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marc.glisse at normalesup
                   |                            |dot org

--- Comment #4 from Marc Glisse <marc.glisse at normalesup dot org> 2012-05-02 00:54:38 UTC ---
(In reply to comment #2)
> I was seeing an ICE in the same place with an earlier version of the changes
> which caused this testcase regression.  I have only managed to reduce it to 10k
> lines so far - that delta-reduced file is attached, I haven't had time to try
> manually reducing it.

If you only want a small example causing the ICE, here is one (-std=c++0x is
enough, no need for -m32 or -march). If you want something that looks vaguely
like a valid C++ program, it's going to be bigger...

extern "C++" namespace __attribute__ ) template < } template < typename >
struct add_rvalue_reference ; template < _Tp > typename declval ( ) noexcept ;
struct { typedef long __type } struct { } template < typename _Res , typename
... _ArgTypes > class function < _Res ( _ArgTypes ) { _Signature_type (
_ArgTypes ) template < typename _Functor > using _Invoke decltype ( ( declval <
_Functor > ) ) template < typename , typename > struct _CheckResult { }
template < ; template < typename _Functor > using _Callable _CheckResult <
_Invoke < _Functor > , _Res > template < typename , typename > using _Requires
template < typename _Functor , typename = _Requires < _Callable < _Functor > ,
void > > function ( _Functor ; } ; f ( function < void > ) { f ( [ ] )

[Bug c++/53177] 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[redi at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-02 08:29:18 UTC ---
Thanks, Marc!

[Bug c++/53177] [4.8 Regression] 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0
            Summary|20_util/function/cons/calla |[4.8 Regression]
                   |ble.cc failed with -m32     |20_util/function/cons/calla
                   |-march=corei7               |ble.cc failed with -m32
                   |                            |-march=corei7

[Bug c++/53177] [4.8 Regression] 20_util/function/cons/callable.cc failed with -m32 -march=corei7

[hjl.tools at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE

--- Comment #6 from H.J. Lu <hjl.tools at gmail dot com> 2012-05-04 02:42:22 UTC ---
Dup.

*** This bug has been marked as a duplicate of bug 53209 ***