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,,