Fix PR52822 (stable_partition move-assigns object to itself) by scanning for...
authorJeffrey Yasskin <jyasskin@google.com>
Thu, 12 Apr 2012 20:59:09 +0000 (20:59 +0000)
committerJeffrey Yasskin <jyasskin@gcc.gnu.org>
Thu, 12 Apr 2012 20:59:09 +0000 (20:59 +0000)
commit2fc9b37dd021df4f3edbda3be09bd891b5bf71e3
treeda264b4ef9803a0d4515217be60b6052e22a7450
parenta2547fd0d6cd351ec7fe366d770aaea296d7f70d
Fix PR52822 (stable_partition move-assigns object to itself) by scanning for...

Fix PR52822 (stable_partition move-assigns object to itself) by
scanning for the first value that doesn't match the predicate before
starting to rearrange values.

2012-04-03   Jeffrey Yasskin  <jyasskin@google.com>

PR libstdc++/52822
* include/bits/stl_algo.h (__find_if_not): Expose in
C++98 mode.
(__find_if_not_n): Like __find_if_not, but works on and updates a
counted range instead of a bounded range.
(stable_partition): Guarantee !__pred(*__first) in call to
__stable_partition_adaptive() or __inplace_stable_partition().
(__stable_partition_adaptive): Use new precondition to avoid
moving/copying objects onto themselves.  Guarantee new
precondition to recursive calls.
(__inplace_stable_partition): Use new precondition to simplify
base case, remove __last parameter.  Guarantee new precondition to
recursive calls.
* testsuite/25_algorithms/stable_partition/moveable.cc (test02):
Test a sequence that starts with a value matching the predicate.
* testsuite/25_algorithms/stable_partition/pr52822.cc:
Test vectors, which have a destructive self-move-assignment.

From-SVN: r186391
libstdc++-v3/ChangeLog
libstdc++-v3/include/bits/stl_algo.h
libstdc++-v3/testsuite/25_algorithms/stable_partition/moveable.cc
libstdc++-v3/testsuite/25_algorithms/stable_partition/pr52822.cc [new file with mode: 0644]