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

["koraq at xs4all dot nl" <gcc-bugzilla@gcc.gnu.org>]

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.