// Copyright (C) 2019 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 run { target c++17 } } #include #include void test01() { struct ThrowingConversion { operator int() { throw 0; } }; std::variant v{'a'}; try { ThrowingConversion x; v.emplace<2>(x); VERIFY(false); } catch (int) { VERIFY( !v.valueless_by_exception() ); VERIFY( v.index() == 1 ); VERIFY( std::get<1>(v) == 'a' ); } } void test02() { struct ThrowingConstructor { ThrowingConstructor(std::initializer_list, char) { throw 1; } }; std::variant v{'a'}; try { v.emplace<2>({1, 2, 3}, '4'); VERIFY(false); } catch (int) { VERIFY( !v.valueless_by_exception() ); VERIFY( v.index() == 1 ); VERIFY( std::get<1>(v) == 'a' ); } } int main() { test01(); test02(); }