Add tests for inserting aliased objects into std::vector

2016-07-04  François Dumont  <fdumont@gcc.gnu.org>

	* testsuite/23_containers/vector/modifiers/emplace/self_emplace.cc:
	New test.
	* testsuite/23_containers/vector/modifiers/insert/self_insert.cc: New
	test.

From-SVN: r237986
This commit is contained in:
François Dumont 2016-07-04 14:52:54 +00:00 committed by Jonathan Wakely
parent 9958c7eb58
commit 097e899495
3 changed files with 221 additions and 0 deletions

View File

@ -1,3 +1,10 @@
2016-07-04 François Dumont <fdumont@gcc.gnu.org>
* testsuite/23_containers/vector/modifiers/emplace/self_emplace.cc:
New test.
* testsuite/23_containers/vector/modifiers/insert/self_insert.cc: New
test.
2016-07-04 Jonathan Wakely <jwakely@redhat.com>
* include/bits/stl_vector.h (emplace(const_iterator, _Args&&...)):

View File

@ -0,0 +1,144 @@
// { dg-options "-std=gnu++11" }
// Copyright (C) 2016 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
#include <vector>
#include "testsuite_hooks.h"
bool test __attribute__((unused)) = true;
void
test01()
{
std::vector<std::vector<int>> vv =
{
{ 2, 3 },
{ 4, 5 },
{ 0, 1 }
};
// Make sure emplace will imply reallocation.
VERIFY( vv.capacity() == 3 );
vv.emplace(vv.begin(), vv[0]);
VERIFY( vv.size() == 4 );
VERIFY( vv[0].size() == 2 );
VERIFY( vv[0][0] == 2 );
VERIFY( vv[0][1] == 3 );
}
void
test02()
{
std::vector<std::vector<int>> vv =
{
{ 2, 3 },
{ 4, 5 },
{ 0, 1 }
};
// Make sure emplace won't reallocate.
vv.reserve(4);
vv.emplace(vv.begin(), vv[0]);
VERIFY( vv.size() == 4 );
VERIFY( vv[0].size() == 2 );
VERIFY( vv[0][0] == 2 );
VERIFY( vv[0][1] == 3 );
}
struct A
{
A(int i) : _i(i)
{ }
A(const A& other) : _i(other._i)
{
VERIFY( other._i >= 0 );
}
A(A&& other) : _i(other._i)
{
VERIFY( other._i >= 0 );
other._i = -1;
}
A(std::vector<A>::iterator it) : _i(it->_i)
{
VERIFY( it->_i >= 0 );
}
A& operator=(const A&) = default;
A& operator=(A&& other)
{
VERIFY(other._i >= 0 );
_i = other._i;
other._i = -1;
return *this;
}
int _i;
};
void
test03()
{
std::vector<A> va =
{
{ A(1) },
{ A(2) },
{ A(3) }
};
// Make sure emplace will imply reallocation.
VERIFY( va.capacity() == 3 );
va.emplace(va.begin(), va.begin());
VERIFY( va.size() == 4 );
VERIFY( va[0]._i == 1 );
}
void
test04()
{
std::vector<A> va =
{
{ A(1) },
{ A(2) },
{ A(3) }
};
// Make sure emplace won't reallocate.
va.reserve(4);
va.emplace(va.begin(), va.begin());
VERIFY( va.size() == 4 );
VERIFY( va[0]._i == 1 );
}
int main()
{
test01();
test02();
test03();
test04();
}

View File

@ -0,0 +1,70 @@
// { dg-options "-std=gnu++11" }
// Copyright (C) 2016 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
#include <vector>
#include "testsuite_hooks.h"
bool test __attribute__((unused)) = true;
void test01()
{
std::vector<std::vector<int>> vv =
{
{ 2, 3 },
{ 4, 5 },
{ 0, 1 }
};
// Make sure it doesn't reallocate during insertion.
vv.reserve(4);
vv.insert(vv.begin(), vv[0]);
VERIFY( vv.size() == 4 );
VERIFY( vv[0].size() == 2 );
VERIFY( vv[0][0] == 2 );
VERIFY( vv[0][1] == 3 );
}
void test02()
{
std::vector<std::vector<int>> vv =
{
{ 2, 3 },
{ 4, 5 },
{ 0, 1 }
};
// Make sure we will reallocate for insertion.
VERIFY( vv.capacity() == 3 );
vv.insert(vv.begin(), vv[0]);
VERIFY( vv.size() == 4 );
VERIFY( vv[0].size() == 2 );
VERIFY( vv[0][0] == 2 );
VERIFY( vv[0][1] == 3 );
}
int main()
{
test01();
test02();
}