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
|
/*
* Copyright (c) 1995 The University of Utah and
* the Computer Systems Laboratory at the University of Utah (CSL).
* All rights reserved.
*
* Permission to use, copy, modify and distribute this software is hereby
* granted provided that (1) source code retains these copyright, permission,
* and disclaimer notices, and (2) redistributions including binaries
* reproduce the notices in supporting documentation, and (3) all advertising
* materials mentioning features or use of this software display the following
* acknowledgement: ``This product includes software developed by the
* Computer Systems Laboratory at the University of Utah.''
*
* THE UNIVERSITY OF UTAH AND CSL ALLOW FREE USE OF THIS SOFTWARE IN ITS "AS
* IS" CONDITION. THE UNIVERSITY OF UTAH AND CSL DISCLAIM ANY LIABILITY OF
* ANY KIND FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
*
* CSL requests users of this software to return to csl-dist@cs.utah.edu any
* improvements that they make and grant CSL redistribution rights.
*
* Author: Bryan Ford, University of Utah CSL
*/
#ifndef _ASSERT_H_
#define _ASSERT_H_
extern void panic(const char *format, ...);
#ifndef NDEBUG
#define assert(expression) do { \
if(!(expression)) { \
panic("%s:%u: failed assertion `%s'", __FILE__, __LINE__, #expression);\
} \
} while(0)
#else
#define assert(expression) ((void)0)
#endif
/* Extended for 15-410 at Carnegie Mellon.
*
* The following conditions are checked even if NDEBUG is defined:
* affirm(3 > 0);
* affirm_msg(3 > 0, "arithmetic broken around %d and %d", 3, 0);
* reject(0 > 3);
* reject_msg(0 > 3, "arithmetic broken around %d and %d", 0, 3);
*/
#define affirm(expression) do { \
if(!(expression)) { \
panic("%s:%u: failed affirmation `%s'", \
__FILE__, __LINE__, #expression); \
} \
} while(0)
#define reject(expression) do { \
if(expression) { \
panic("%s:%u: rejecting result `%s'", __FILE__, __LINE__, #expression);\
} \
} while(0)
#define affirm_msg(expression, ...) do { \
if(!(expression)) { \
panic(__VA_ARGS__); \
} \
} while(0)
#define reject_msg(expression, ...) \
affirm_msg(!(expression), __VA_ARGS__)
#endif /* _ASSERT_H_ */
|
