[STDCXX-635] std::deque::swap invalidates begin() and end() iterators on empty container

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 4.2.0
• Fix Version/s: 4.2.1
• Component/s: 23. Containers

Environment

All

• Severity: Incorrect Behavior
• Assignee: Farid Zaripov
• Reporter: Farid Zaripov
• Created: 01/Nov/07 20:01
• Updated: 02/May/13 02:29
• Resolved: 16/Mar/08 04:58

Description

The program below aborts on assert.

#include <deque>
#include <cassert>

int main ()
{
typedef std::deque<int> Deque;
typedef Deque::iterator Iter;

Deque d1, d2;

Iter iters [2][2] = {

{ d1.begin (), d1.end () }

,

{ d2.begin (), d2.end () }

};

d1.swap (d2);

assert (d2.begin () == iters [0][0]);
assert (d2.end ()== iters [0][1]);
assert (d1.begin () == iters [1][0]);
assert (d1.end ()== iters [1][1]);

return 0;
}

Issue Links

• is depended upon by: STDCXX-636 23.deque.special test fails assertions
• is related to: STDCXX-127 std::deque::swap does not swap empty containers correctly
• relates to: STDCXX-769 __rw_debug_iter iterators are partially invalidated after swap() operation