id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
6507	fusion::at missing compile time check and overflows stack	Antony Polukhin	Joel de Guzman	"Here are the test cases:

{{{
BOOST_AUTO_TEST_CASE(testing_at_c)
{
    boost::fusion::tuple<int, double> t;
    boost::fusion::at_c<2>(t); // runtime stack overflow
}

BOOST_AUTO_TEST_CASE(testing_at)
{
    boost::fusion::tuple<int, double> t;
    boost::fusion::at<boost::mpl::int_<2> >(t); // runtime stack overflow
}
}}}

Can be fixed, by adding:
{{{
typedef typename result_of::size<Sequence>::type size_type;
BOOST_STATIC_ASSERT((size_type::value > N::value));
BOOST_STATIC_ASSERT((size_type::value >= 0));
}}}

to both fusion::at functions in {{{#include <boost/fusion/sequence/intrinsic/at.hpp>}}}
and including 
{{{
#include <boost/fusion/sequence/intrinsic/size.hpp>
#include <boost/static_assert.hpp>
}}} 
headers."	Patches	closed	To Be Determined	fusion	Boost 1.48.0	Problem	fixed