From 4026227f21e6c06cbadfa3ac3ab8699719b2bc65 Mon Sep 17 00:00:00 2001 From: Ville Voutilainen Date: Wed, 17 Oct 2018 22:08:51 +0300 Subject: [PATCH] re PR libstdc++/87619 (sizeof(std::variant) can be reduced if its variant_size is UCHAR_MAX) PR libstdc++/87619 * include/std/variant (__select_index): Fix an off-by-one. * testsuite/20_util/variant/87619.cc: New. From-SVN: r265247 --- libstdc++-v3/ChangeLog | 6 +++ libstdc++-v3/include/std/variant | 2 +- .../testsuite/20_util/variant/87619.cc | 53 +++++++++++++++++++ 3 files changed, 60 insertions(+), 1 deletion(-) create mode 100644 libstdc++-v3/testsuite/20_util/variant/87619.cc diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 57a35f0faad..9dc705c45f2 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,9 @@ +2018-10-17 Ville Voutilainen + + PR libstdc++/87619 + * include/std/variant (__select_index): Fix an off-by-one. + * testsuite/20_util/variant/87619.cc: New. + 2018-10-16 Jonathan Wakely * include/bits/random.h (random_device) [!_GLIBCXX_USE_DEV_RANDOM]: diff --git a/libstdc++-v3/include/std/variant b/libstdc++-v3/include/std/variant index ff340cfc897..d4d596be262 100644 --- a/libstdc++-v3/include/std/variant +++ b/libstdc++-v3/include/std/variant @@ -362,7 +362,7 @@ namespace __variant template using __select_index = - typename __select_int::_Select_int_base::type::value_type; diff --git a/libstdc++-v3/testsuite/20_util/variant/87619.cc b/libstdc++-v3/testsuite/20_util/variant/87619.cc new file mode 100644 index 00000000000..e6f48feab31 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/variant/87619.cc @@ -0,0 +1,53 @@ +// Copyright (C) 2018 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 +// . + +// { dg-options "-std=gnu++17" } +// { dg-do compile { target c++17 } } + +#include +#include +#include + +template +struct S { +}; + +template +void f_impl(std::index_sequence) +{ + using V = std::variant...>; + // For a variant of 255 alternatives the valid indices are [0,254] + // and index 255 means valueless-by-exception, so fits in one byte. + if constexpr (std::variant_size_v <= + std::numeric_limits::max()) + static_assert(sizeof(V) == 2); + else + static_assert(sizeof(V) > 2); +} + +template +void f() +{ + f_impl(std::make_index_sequence{}); +} + +int main() +{ + f::max() - 1>(); + f::max()>(); + f::max() + 1>(); +} -- 2.30.2