std::deque::swap invalidates begin() and end() iterators on empty container

• Key: STDCXX-635
• Type: Bug
• Status: Closed
• Resolution: Fixed
• Priority: Minor
• Assignee: Farid Zaripov
• Reporter: Farid Zaripov
• Component/s: 23. Containers
• Affects Version/s: 4.2.0
• Fix Version/s: 4.2.1

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;
}