CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
syslog.c
Go to the documentation of this file.
1/* FUNCTION: openlog */
2
3void openlog(const char *ident, int option, int facility)
4{
5 (void)*ident;
6 (void)option;
8}
9
10/* FUNCTION: closelog */
11
12void closelog(void)
13{
14}
15
16/* FUNCTION: syslog */
17
18void syslog(int priority, const char *format, ...)
19{
21 (void)*format;
22}
23
24/* FUNCTION: _syslog$DARWIN_EXTSN */
25
26void _syslog$DARWIN_EXTSN(int priority, const char *format, ...)
27{
29 (void)*format;
30}
31
32/* FUNCTION: __syslog_chk */
33
34void __syslog_chk(int priority, int flag, const char *format, ...)
35{
37 (void)flag;
38 (void)*format;
39}
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
static format_containert< T > format(const T &o)
Definition format.h:37
void openlog(const char *ident, int option, int facility)
Definition syslog.c:3
void _syslog$DARWIN_EXTSN(int priority, const char *format,...)
Definition syslog.c:26
void syslog(int priority, const char *format,...)
Definition syslog.c:18
void __syslog_chk(int priority, int flag, const char *format,...)
Definition syslog.c:34
void closelog(void)
Definition syslog.c:12