id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
3044,mpl::aux_::iter_fold_if_impl allows deref l_end,cppljevans@…,Aleksey Gurtovoy,"The mpl::aux_::iter_fold_if_impl template:

  https://svn.boost.org/trac/boost/browser/trunk/boost/mpl/aux_
    /iter_fold_if_impl.hpp

allows deref'ing of an end iterator. The problem is most easily
shown with list because deref<l_end> is not possible.
Apparently, deref of an end iterator from other sequences
(e.g. vector or range_c) allow deref of an end iterator.

The attached:

  iter_fold_if_bkprotect.zip
  
illustrates the problem.  The attached:

  iter_fold_if_bkprotect2.zip
  
illustrates the cause.  The attached:

  while.cpp
  
illustrates a solution.  However, the while.cpp suffers from the
template instantiation depth problem described here:

  http://www.mywikinet.com/mpl/paper 
    /mpl_paper.html#sequences.unrolling

More (*maybe* helpful) details can be found at the following
boost ml thread:

  http://thread.gmane.org/gmane.comp.lib.boost.devel/187289
",Bugs,new,Boost 1.40.0,mpl,Boost 1.38.0,Problem,,,