CBMC
err.c
Go to the documentation of this file.
1 /* FUNCTION: err */
2 
3 #ifndef __CPROVER_ERR_H_INCLUDED
4 #include <err.h>
5 #define __CPROVER_ERR_H_INCLUDED
6 #endif
7 
8 #ifndef __CPROVER_STDLIB_H_INCLUDED
9 #include <stdlib.h>
10 #define __CPROVER_STDLIB_H_INCLUDED
11 #endif
12 
13 void err(int eval, const char *fmt, ...)
14 {
15  (void)eval;
16  (void)*fmt;
17  abort();
18 }
19 
20 /* FUNCTION: errx */
21 
22 #ifndef __CPROVER_ERR_H_INCLUDED
23 #include <err.h>
24 #define __CPROVER_ERR_H_INCLUDED
25 #endif
26 
27 #ifndef __CPROVER_STDLIB_H_INCLUDED
28 #include <stdlib.h>
29 #define __CPROVER_STDLIB_H_INCLUDED
30 #endif
31 
32 void errx(int eval, const char *fmt, ...)
33 {
34  (void)eval;
35  (void)*fmt;
36  abort();
37 }
38 
39 /* FUNCTION: warn */
40 
41 #ifndef __CPROVER_ERR_H_INCLUDED
42 #include <err.h>
43 #define __CPROVER_ERR_H_INCLUDED
44 #endif
45 
46 void warn(const char *fmt, ...)
47 {
48  (void)*fmt;
49 }
50 
51 /* FUNCTION: warnx */
52 
53 #ifndef __CPROVER_ERR_H_INCLUDED
54 #include <err.h>
55 #define __CPROVER_ERR_H_INCLUDED
56 #endif
57 
58 void warnx(const char *fmt, ...)
59 {
60  (void)*fmt;
61 }
warnx
void warnx(const char *fmt,...)
Definition: err.c:58
err
void err(int eval, const char *fmt,...)
Definition: err.c:13
errx
void errx(int eval, const char *fmt,...)
Definition: err.c:32
warn
void warn(const char *fmt,...)
Definition: err.c:46
abort
void abort(void)
Definition: stdlib.c:128