Botan 3.4.0
Crypto and TLS for C&
assert.cpp
Go to the documentation of this file.
1/*
2* Runtime assertion checking
3* (C) 2010,2012,2018 Jack Lloyd
4*
5* Botan is released under the Simplified BSD License (see license.txt)
6*/
7
8#include <botan/assert.h>
9
10#include <botan/exceptn.h>
11#include <botan/internal/fmt.h>
12#include <sstream>
13
14#if defined(BOTAN_TERMINATE_ON_ASSERTS)
15 #include <cstdlib>
16 #include <iostream>
17#endif
18
19namespace Botan {
20
21void throw_invalid_argument(const char* message, const char* func, const char* file) {
22 throw Invalid_Argument(fmt("{} in {}:{}", message, func, file));
23}
24
25void throw_invalid_state(const char* expr, const char* func, const char* file) {
26 throw Invalid_State(fmt("Invalid state: expr {} was false in {}:{}", expr, func, file));
27}
28
29void assertion_failure(const char* expr_str, const char* assertion_made, const char* func, const char* file, int line) {
30 std::ostringstream format;
31
32 format << "False assertion ";
33
34 if(assertion_made && assertion_made[0] != 0) {
35 format << "'" << assertion_made << "' (expression " << expr_str << ") ";
36 } else {
37 format << expr_str << " ";
38 }
39
40 if(func) {
41 format << "in " << func << " ";
42 }
43
44 format << "@" << file << ":" << line;
45
46#if defined(BOTAN_TERMINATE_ON_ASSERTS)
47 std::cerr << format.str() << '\n';
48 std::abort();
49#else
50 throw Internal_Error(format.str());
51#endif
52}
53
54void assert_unreachable(const char* file, int line) {
55 const std::string msg = fmt("Codepath that was marked unreachable was reached @{}:{}", file, line);
56
57#if defined(BOTAN_TERMINATE_ON_ASSERTS)
58 std::cerr << msg << '\n';
59 std::abort();
60#else
61 throw Internal_Error(msg);
62#endif
63}
64
65} // namespace Botan
void assert_unreachable(const char *file, int line)
Definition assert.cpp:54
void throw_invalid_state(const char *expr, const char *func, const char *file)
Definition assert.cpp:25
void throw_invalid_argument(const char *message, const char *func, const char *file)
Definition assert.cpp:21
std::string fmt(std::string_view format, const T &... args)
Definition fmt.h:53
void assertion_failure(const char *expr_str, const char *assertion_made, const char *func, const char *file, int line)
Definition assert.cpp:29