15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier
95a83710eSEric Fiselier // test underflow_error
105a83710eSEric Fiselier
115a83710eSEric Fiselier #include <stdexcept>
125a83710eSEric Fiselier #include <type_traits>
135a83710eSEric Fiselier #include <cstring>
145a83710eSEric Fiselier #include <string>
155a83710eSEric Fiselier #include <cassert>
165a83710eSEric Fiselier
17*7fc6a556SMarshall Clow #include "test_macros.h"
18*7fc6a556SMarshall Clow
main(int,char **)192df59c50SJF Bastien int main(int, char**)
205a83710eSEric Fiselier {
215a83710eSEric Fiselier static_assert((std::is_base_of<std::runtime_error, std::underflow_error>::value),
225a83710eSEric Fiselier "std::is_base_of<std::runtime_error, std::underflow_error>::value");
235a83710eSEric Fiselier static_assert(std::is_polymorphic<std::underflow_error>::value,
245a83710eSEric Fiselier "std::is_polymorphic<std::underflow_error>::value");
255a83710eSEric Fiselier {
265a83710eSEric Fiselier const char* msg = "underflow_error message";
275a83710eSEric Fiselier std::underflow_error e(msg);
285a83710eSEric Fiselier assert(std::strcmp(e.what(), msg) == 0);
295a83710eSEric Fiselier std::underflow_error e2(e);
305a83710eSEric Fiselier assert(std::strcmp(e2.what(), msg) == 0);
315a83710eSEric Fiselier e2 = e;
325a83710eSEric Fiselier assert(std::strcmp(e2.what(), msg) == 0);
335a83710eSEric Fiselier }
345a83710eSEric Fiselier {
355a83710eSEric Fiselier std::string msg("another underflow_error message");
365a83710eSEric Fiselier std::underflow_error e(msg);
375a83710eSEric Fiselier assert(e.what() == msg);
385a83710eSEric Fiselier std::underflow_error e2(e);
395a83710eSEric Fiselier assert(e2.what() == msg);
405a83710eSEric Fiselier e2 = e;
415a83710eSEric Fiselier assert(e2.what() == msg);
425a83710eSEric Fiselier }
432df59c50SJF Bastien
442df59c50SJF Bastien return 0;
455a83710eSEric Fiselier }
46