* 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(a)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(a)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