lang/solidity: unbreak with boost 1.67 on 10.*
In file included from libjulia/optimiser/FunctionGrouper.cpp:22:
In file included from ./libjulia/optimiser/FunctionGrouper.h:24:
In file included from ./libjulia/ASTDataForward.h:24:
In file included from ./libsolidity/inlineasm/AsmDataForward.h:25:
In file included from /usr/local/include/boost/variant.hpp:17:
In file included from /usr/local/include/boost/variant/variant.hpp:21:
In file included from /usr/local/include/boost/type_index.hpp:29:
In file included from /usr/local/include/boost/type_index/stl_type_index.hpp:43:
In file included from /usr/local/include/boost/container_hash/hash.hpp:760:
In file included from /usr/local/include/boost/container_hash/extensions.hpp:22:
In file included from /usr/local/include/boost/detail/container_fwd.hpp:93:
/usr/include/c++/v1/vector:504:70: error: no member named 'value' in 'std::1::is_nothrow_default_constructible<std::1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> > >'
_NOEXCEPT_(is_nothrow_default_constructible<allocator_type>::value)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^/usr/include/c++/v1/__config:349:34: note: expanded from macro '_NOEXCEPT_'
- define _NOEXCEPT_(x) noexcept(x) ^
./libsolidity/inlineasm/AsmData.h:70:64: note: in instantiation of exception specification for 'vector' requested here
struct Block { SourceLocation location; std::vector<Statement> statements; };
^
/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:27:7: note: in instantiation of template class 'boost::has_nothrow_constructor<dev::solidity::assembly::FunctionDefinition>' requested here
: T::type ^
/usr/local/include/boost/mpl/not.hpp:41:11: note: in instantiation of template class 'boost::mpl::aux::nested_type_wknd<boost::has_nothrow_constructor<dev::solidity::assembly::FunctionDefinition> >' requested here
BOOST_MPL_AUX_NESTED_TYPE_WKND(T)::value ^
/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:38:24: note: expanded from macro 'BOOST_MPL_AUX_NESTED_TYPE_WKND'
::boost::mpl::aux::nested_type_wknd<T> \
^/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:27:7: note: in instantiation of template class 'boost::mpl::not_<boost::has_nothrow_constructor<dev::solidity::assembly::FunctionDefinition> >' requested here
: T::type ^
/usr/local/include/boost/mpl/aux_/preprocessed/gcc/and.hpp:25:11: note: in instantiation of template class 'boost::mpl::aux::nested_type_wknd<boost::mpl::apply1<boost::mpl::protect<boost::detail::variant::find_fallback_type_pred, 0>, boost::mpl::l_iter<boost::mpl::l_item<mpl_::long_<5>, dev::solidity::assembly::FunctionDefinition, boost::mpl::l_item<mpl_::long_<4>, dev::solidity::assembly::If, boost::mpl::l_item<mpl_::long_<3>, dev::solidity::assembly::Switch, boost::mpl::l_item<mpl_::long_<2>, dev::solidity::assembly::ForLoop, boost::mpl::l_item<mpl_::long_<1>, dev::solidity::assembly::Block, boost::mpl::l_end> > > > > > > >' requested here
BOOST_MPL_AUX_NESTED_TYPE_WKND(T1)::value ^
/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:38:24: note: expanded from macro 'BOOST_MPL_AUX_NESTED_TYPE_WKND'
::boost::mpl::aux::nested_type_wknd<T> \
^/usr/local/include/boost/mpl/aux_/preprocessed/gcc/and.hpp:50:7: note: (skipping 13 contexts in backtrace; use -ftemplate-backtrace-limit=0 to see all)
: aux::and_impl< ^
/usr/include/c++/v1/type_traits:2445:14: note: in instantiation of template class 'std::1::is_constructible_void_check<false, std::__1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> >>' requested here
: public __is_constructible_void_check<__contains_void<_Tp, _Args...>::value
^/usr/include/c++/v1/type_traits:2936:41: note: in instantiation of template class 'std::1::is_constructible<std::1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> >>' requested here
: __libcpp_is_nothrow_constructible<is_constructible<_Tp, _Args...>::value, is_reference<_Tp>::value, _Tp, _Args...>
^/usr/include/c++/v1/type_traits:3059:14: note: in instantiation of template class 'std::1::is_nothrow_constructible<std::1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> >>' requested here
: public is_nothrow_constructible<_Tp>
^/usr/include/c++/v1/vector:504:20: note: in instantiation of template class 'std::1::is_nothrow_default_constructible<std::1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> > >' requested here
_NOEXCEPT_(is_nothrow_default_constructible<allocator_type>::value)
^/usr/include/c++/v1/__config:349:34: note: expanded from macro '_NOEXCEPT_'
- define _NOEXCEPT_(x) noexcept(x) ^
libjulia/optimiser/FunctionGrouper.cpp:38:20: note: in instantiation of exception specification for 'vector' requested here
vector<Statement> reordered;
^PR: 227427
Reported by: antoine (via exp-run)
See also: https://reviews.llvm.org/rL276084