1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
/*
* Panic, for libreswan.
*
* Copyright (C) 1998-2002 D. Hugh Redelmeier.
* Copyright (C) 2003 Michael Richardson <mcr@freeswan.org>
* Copyright (C) 2013 Paul Wouters <paul@libreswan.org>
* Copyright (C) 2015-2016 Andrew Cagney <cagney@gnu.org>
*
* This library is free software; you can redistribute it and/or modify it
* under the terms of the GNU Library General Public License as published by
* the Free Software Foundation; either version 2 of the License, or (at your
* option) any later version. See <https://www.gnu.org/licenses/lgpl-2.1.txt>.
*
* 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 Library General Public
* License for more details.
*/
#ifndef _LIBRESWAN_PASSERT_H
#define _LIBRESWAN_PASSERT_H
#include <string.h> /* for strrchr() */
#include <stdbool.h>
#include "err.h" /* for err_t */
#include "lswcdefs.h" /* for NEVER_RETURNS PRINTF_LIKE() */
#include "where.h"
#include "lset.h"
#include "logjam.h"
struct logger;
/* our versions of assert: log result */
/*
* Preferred: can log with prefix to whack from a thread.
*/
#ifndef GLOBAL_LOGGER
extern struct logger global_logger;
#define GLOBAL_LOGGER &global_logger
#endif
/*
* XXX: GCC, at least can't understand that LLOG_PASSERT_JAMBUF()
* never returns. Hence code sometimes calls
* passert_jambuf_to_logger() explicitly.
*/
extern void llog_passert(const struct logger *logger, where_t where,
const char *message, ...) NEVER_RETURNS PRINTF_LIKE(3);
void passert_logjam_to_logger(struct logjam *buf) NEVER_RETURNS;
#define LLOG_PASSERT_JAMBUF(LOGGER, WHERE, BUF) \
/* create the buffer */ \
for (struct logjam logjam_, *bf_ = &logjam_; \
bf_ != NULL; bf_ = NULL) \
/* create the jambuf */ \
for (struct jambuf *BUF = \
jambuf_from_logjam(&logjam_, LOGGER, \
0, WHERE, PASSERT_FLAGS); \
BUF != NULL; \
passert_logjam_to_logger(&logjam_), BUF = NULL)
#define PASSERT_WHERE(LOGGER, WHERE, ASSERTION) \
({ \
/* wrapping ASSERTION in parens suppresses -Wparen */ \
bool assertion__ = ASSERTION; /* no parens */ \
if (!assertion__) { \
const struct logger *logger_ = LOGGER; \
llog_passert(logger_, WHERE, "%s", #ASSERTION); \
} \
/* return something so flipping to pexpect() is easy */ \
(void) true; \
})
#define PASSERT(LOGGER, ASSERTION) \
PASSERT_WHERE(LOGGER, HERE, ASSERTION)
#define passert(ASSERTION) \
PASSERT_WHERE(&global_logger, HERE, ASSERTION)
/* evaluate x exactly once; assert that err_t result is NULL; */
#define happy(x) /* TBD: use ??? */ \
{ \
err_t ugh = x; \
if (ugh != NULL) { \
llog_passert(&global_logger, HERE, \
"%s", ugh); \
} \
}
#endif /* _LIBRESWAN_PASSERT_H */
|
