* mln/win/multiple.hh (mln::win::multiple_qiter<W,F>::change_target): Set the size before delegating the call to the base class, so that postconditions can be honored. --- milena/ChangeLog | 8 ++++++++ milena/mln/win/multiple.hh | 2 +- 2 files changed, 9 insertions(+), 1 deletions(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index 4caaa0a..a308bc3 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,5 +1,13 @@ 2009-10-06 Roland Levillain <roland@lrde.epita.fr> + Fix the instruction flow in multiple_qiter<W,F>::change_target. + + * mln/win/multiple.hh (mln::win::multiple_qiter<W,F>::change_target): + Set the size before delegating the call to the base class, so that + postconditions can be honored. + +2009-10-06 Roland Levillain <roland@lrde.epita.fr> + Honor strict-aliasing rules in memset_. * mln/data/memset_.hh (mln::data::impl::memset): Here. diff --git a/milena/mln/win/multiple.hh b/milena/mln/win/multiple.hh index a12bf83..18b65c8 100644 --- a/milena/mln/win/multiple.hh +++ b/milena/mln/win/multiple.hh @@ -340,8 +340,8 @@ namespace mln void multiple_qiter<W,F>::change_target(const multiple<W,F>& w) { - this->super_::change_target(w); size_ = w.size(); + this->super_::change_target(w); } template <typename W, typename F> -- 1.6.3.1