d35d19584c
I thought I'd add some unit tests to make sure gdb::optional behaved correctly, and started writing some, but then thought/realized that libstdc++ already has extensive testing for C++17 std::optional, which gdb::optional is a subset of, and thought why bother writing something from scratch. So I tried copying over a subset of libstdc++'s tests (that ones that cover the subset supported by gdb::optional), and was positively surprised that they mostly work OOTB. This did help shake out a few bugs from what I was implementing in the previous patch to gdb::optional. Still, it's a good chunk of code being copied over, so if people dislike this copying/duplication, I can drop this patch. gdb/ChangeLog: 2017-04-18 Pedro Alves <palves@redhat.com> * Makefile.in (SUBDIR_UNITTESTS_SRCS): Add unittests/optional-selftests.c. (SUBDIR_UNITTESTS_OBS): Add optional-selftests.o. * unittests/optional-selftests.c: New file. * unittests/optional/assignment/1.cc: New file. * unittests/optional/assignment/2.cc: New file. * unittests/optional/assignment/3.cc: New file. * unittests/optional/assignment/4.cc: New file. * unittests/optional/assignment/5.cc: New file. * unittests/optional/assignment/6.cc: New file. * unittests/optional/assignment/7.cc: New file. * unittests/optional/cons/copy.cc: New file. * unittests/optional/cons/default.cc: New file. * unittests/optional/cons/move.cc: New file. * unittests/optional/cons/value.cc: New file. * unittests/optional/in_place.cc: New file. * unittests/optional/observers/1.cc: New file. * unittests/optional/observers/2.cc: New file.
80 lines
1.8 KiB
C++
80 lines
1.8 KiB
C++
// Copyright (C) 2013-2017 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/>.
|
|
|
|
namespace assign_5 {
|
|
|
|
int counter = 0;
|
|
|
|
struct mixin_counter
|
|
{
|
|
mixin_counter() { ++counter; }
|
|
mixin_counter(mixin_counter const&) { ++counter; }
|
|
~mixin_counter() { --counter; }
|
|
};
|
|
|
|
struct value_type : private mixin_counter { };
|
|
|
|
void test()
|
|
{
|
|
using O = gdb::optional<value_type>;
|
|
|
|
// Check std::nullopt_t and 'default' (= {}) assignment
|
|
|
|
#ifndef GDB_OPTIONAL
|
|
{
|
|
O o;
|
|
o = std::nullopt;
|
|
VERIFY( !o );
|
|
}
|
|
#endif
|
|
|
|
#ifndef GDB_OPTIONAL
|
|
{
|
|
O o { gdb::in_place };
|
|
o = std::nullopt;
|
|
VERIFY( !o );
|
|
}
|
|
#endif
|
|
|
|
#ifndef GDB_OPTIONAL
|
|
{
|
|
O o;
|
|
o = {};
|
|
VERIFY( !o );
|
|
}
|
|
#endif
|
|
|
|
#ifndef GDB_OPTIONAL
|
|
{
|
|
O o { gdb::in_place };
|
|
o = {};
|
|
VERIFY( !o );
|
|
}
|
|
#endif
|
|
{
|
|
gdb::optional<std::vector<int>> ovi{{1, 2, 3}};
|
|
VERIFY(ovi->size() == 3);
|
|
VERIFY((*ovi)[0] == 1 && (*ovi)[1] == 2 && (*ovi)[2] == 3);
|
|
ovi = {4, 5, 6, 7};
|
|
VERIFY(ovi->size() == 4);
|
|
VERIFY((*ovi)[0] == 4 && (*ovi)[1] == 5 &&
|
|
(*ovi)[2] == 6 && (*ovi)[3] == 7);
|
|
}
|
|
VERIFY( counter == 0 );
|
|
}
|
|
|
|
} // namespace assign_5
|