[Bug c++/55842] New: C++11 ICE with boost multi-precision and boost variant

[Bug c++/55842] New: C++11 ICE with boost multi-precision and boost variant

[koraq at xs4all dot nl]

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

             Bug #: 55842
           Summary: C++11 ICE with boost multi-precision and boost variant
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: koraq@xs4all.nl


Compiling the attached sample file leads to an internal compiler error.
The problem only occurs with GCC-4.7 from Debian Unstable 4.7.2-1 and the
upcoming 4.8 from Debian Experimental 4.8-20121218-1. Tested on an amd64
system.

I'm using a checkout of the latest boost release tree.

The command to reproduce the issue is:
gcc-4.8 -std=c++11 -c -I/src/boost/release test.cpp

This results in the following output:
In file included from /src/boost/release/boost/config.hpp:57:0,
                 from /src/boost/release/boost/variant/detail/config.hpp:16,
                 from /src/boost/release/boost/variant/variant.hpp:23,
                 from /src/boost/release/boost/variant.hpp:17,
                 from test.cpp:2:
/src/boost/release/boost/type_traits/has_nothrow_constructor.hpp: In
instantiation of 'const bool
boost::detail::has_nothrow_constructor_imp<boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> > >::value':
/src/boost/release/boost/type_traits/has_nothrow_constructor.hpp:32:1:  
required from 'struct
boost::has_nothrow_constructor<boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> > >'
/src/boost/release/boost/mpl/aux_/nested_type_wknd.hpp:26:31:   required from
'struct
boost::mpl::aux::nested_type_wknd<boost::has_nothrow_constructor<boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> > > >'
/src/boost/release/boost/mpl/not.hpp:39:8:   required from 'struct
boost::mpl::not_<boost::has_nothrow_constructor<boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> > > >'
/src/boost/release/boost/mpl/aux_/nested_type_wknd.hpp:26:31:   required from
'struct
boost::mpl::aux::nested_type_wknd<boost::mpl::apply1<boost::mpl::protect<boost::detail::variant::find_fallback_type_pred>,
boost::mpl::l_iter<boost::mpl::l_item<mpl_::long_<1l>,
boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> >, boost::mpl::l_end> > > >'
/src/boost/release/boost/mpl/aux_/preprocessed/gcc/and.hpp:23:8:   required
from 'struct boost::mpl::aux::and_impl<true,
boost::mpl::apply1<boost::mpl::protect<boost::detail::variant::find_fallback_type_pred>,
boost::mpl::l_iter<boost::mpl::l_item<mpl_::long_<1l>,
boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> >, boost::mpl::l_end> > >, mpl_::bool_<true>, mpl_::bool_<true>,
mpl_::bool_<true> >'
/src/boost/release/boost/mpl/aux_/preprocessed/gcc/and.hpp:48:8:   [ skipping 5
instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
/src/boost/release/boost/mpl/aux_/preprocessed/gcc/iter_fold_if_impl.hpp:101:135:
  required from 'struct
boost::mpl::aux::iter_fold_if_impl<boost::mpl::l_iter<boost::mpl::l_item<mpl_::long_<1l>,
boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> >, boost::mpl::l_end> >, mpl_::int_<0>,
boost::mpl::protect<boost::mpl::next<mpl_::na> >,
boost::mpl::protect<boost::mpl::aux::iter_fold_if_pred<boost::mpl::protect<boost::detail::variant::find_fallback_type_pred>,
boost::mpl::l_iter<boost::mpl::l_end> >, 0>, mpl_::na,
boost::mpl::always<mpl_::bool_<false> > >'
/src/boost/release/boost/mpl/iter_fold_if.hpp:81:12:   required from 'struct
boost::mpl::iter_fold_if<boost::mpl::l_item<mpl_::long_<1l>,
boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> >, boost::mpl::l_end>, mpl_::int_<0>,
boost::mpl::protect<boost::mpl::next<mpl_::na> >,
boost::mpl::protect<boost::detail::variant::find_fallback_type_pred>, mpl_::na,
mpl_::na>::result_'
/src/boost/release/boost/mpl/iter_fold_if.hpp:104:11:   required from 'struct
boost::mpl::iter_fold_if<boost::mpl::l_item<mpl_::long_<1l>,
boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> >, boost::mpl::l_end>, mpl_::int_<0>,
boost::mpl::protect<boost::mpl::next<mpl_::na> >,
boost::mpl::protect<boost::detail::variant::find_fallback_type_pred>, mpl_::na,
mpl_::na>'
/src/boost/release/boost/variant/variant.hpp:189:17:   required from 'struct
boost::detail::variant::find_fallback_type<boost::mpl::l_item<mpl_::long_<1l>,
boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> >, boost::mpl::l_end> >'
/src/boost/release/boost/variant/variant.hpp:1271:17:   required from 'class
boost::variant<boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<64u,
0u> > >'
test.cpp:10:27:   required from here
/src/boost/release/boost/type_traits/has_nothrow_constructor.hpp:24:32:
internal compiler error: in nothrow_spec_p, at cp/except.c:1265
    BOOST_STATIC_CONSTANT(bool, value = BOOST_HAS_NOTHROW_CONSTRUCTOR(T));
                                ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.8/README.Bugs> for instructions.
Preprocessed source stored into /tmp/cc6oBMd0.out file, please attach this to
your bugreport.

[Bug c++/55842] C++11 ICE with boost multi-precision and boost variant

[koraq at xs4all dot nl]

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

--- Comment #1 from koraq at xs4all dot nl 2013-01-01 16:09:52 UTC ---
Created attachment 29069
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29069
Preprocessed source

The attachment failed the first time (compressed else it is too large).

[Bug c++/55842] C++11 ICE with boost multi-precision and boost variant

[koraq at xs4all dot nl]

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

--- Comment #2 from koraq at xs4all dot nl 2013-01-01 16:11:08 UTC ---
Created attachment 29070
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29070
Sample code to reproduce the problem

[Bug c++/55842] C++11 ICE with boost multi-precision and boost variant

[glisse at gcc dot gnu.org]

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

--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> 2013-01-01 18:30:52 UTC ---
template <class=void> struct number {
  number() noexcept(noexcept(0)) { }
};
const int z=__has_nothrow_constructor(number<>);

[Bug c++/55842] [4.7/4.8 Regression] C++11 ICE with boost multi-precision and boost variant

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-01-02
      Known to work|                            |4.6.3
   Target Milestone|---                         |4.7.3
            Summary|C++11 ICE with boost        |[4.7/4.8 Regression] C++11
                   |multi-precision and boost   |ICE with boost
                   |variant                     |multi-precision and boost
                   |                            |variant
     Ever Confirmed|0                           |1
      Known to fail|                            |4.7.0, 4.8.0

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-02 10:35:07 UTC ---
Confirmed.

[Bug c++/55842] [4.7/4.8 Regression] C++11 ICE with boost multi-precision and boost variant

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/55842] [4.7/4.8 Regression] C++11 ICE with boost multi-precision and boost variant

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 20:36:32 UTC ---
Author: jason
Date: Thu Jan  3 20:36:14 2013
New Revision: 194869

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194869
Log:
    PR c++/55842
    * semantics.c (trait_expr_value): Call maybe_instantiate_noexcept.

Added:
    trunk/gcc/testsuite/g++.dg/ext/has_nothrow_constructor-2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c

[Bug c++/55842] [4.7/4.8 Regression] C++11 ICE with boost multi-precision and boost variant

[jason at gcc dot gnu.org]

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 20:37:31 UTC ---
Author: jason
Date: Thu Jan  3 20:37:10 2013
New Revision: 194871

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194871
Log:
    PR c++/55842
    * semantics.c (trait_expr_value): Call maybe_instantiate_noexcept.

Added:
   
branches/gcc-4_7-branch/gcc/testsuite/g++.dg/ext/has_nothrow_constructor-2.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/semantics.c

[Bug c++/55842] [4.7/4.8 Regression] C++11 ICE with boost multi-precision and boost variant

[jason at gcc dot gnu.org]

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

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

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 20:43:06 UTC ---
Fixed.

[Bug c++/55842] [4.7/4.8 Regression] C++11 ICE with boost multi-precision and boost variant

[koraq at xs4all dot nl]

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

--- Comment #8 from koraq at xs4all dot nl 2013-02-09 19:01:13 UTC ---
Thanks for fixing it, I can confirm this issue has been fixed. I ran into a
similar problem and filed it as bug 56268.