CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
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
13void 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
32void 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
46void 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
58void warnx(const char *fmt, ...)
59{
60 (void)*fmt;
61}
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
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