CBMC
syslog.c
Go to the documentation of this file.
1 /* FUNCTION: openlog */
2 
3 void openlog(const char *ident, int option, int facility)
4 {
5  (void)*ident;
6  (void)option;
7  (void)facility;
8 }
9 
10 /* FUNCTION: closelog */
11 
12 void closelog(void)
13 {
14 }
15 
16 /* FUNCTION: syslog */
17 
18 void syslog(int priority, const char *format, ...)
19 {
20  (void)priority;
21  (void)*format;
22 }
23 
24 /* FUNCTION: _syslog$DARWIN_EXTSN */
25 
26 void _syslog$DARWIN_EXTSN(int priority, const char *format, ...)
27 {
28  (void)priority;
29  (void)*format;
30 }
31 
32 /* FUNCTION: __syslog_chk */
33 
34 void __syslog_chk(int priority, int flag, const char *format, ...)
35 {
36  (void)priority;
37  (void)flag;
38  (void)*format;
39 }
static format_containert< T > format(const T &o)
Definition: format.h:37
void _syslog $DARWIN_EXTSN(int priority, const char *format,...)
Definition: syslog.c:26
void openlog(const char *ident, int option, int facility)
Definition: syslog.c:3
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