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_chk */
25 
26 void __syslog_chk(int priority, int flag, const char *format, ...)
27 {
28  (void)priority;
29  (void)flag;
30  (void)*format;
31 }
format
static format_containert< T > format(const T &o)
Definition: format.h:37
openlog
void openlog(const char *ident, int option, int facility)
Definition: syslog.c:3
syslog
void syslog(int priority, const char *format,...)
Definition: syslog.c:18
__syslog_chk
void __syslog_chk(int priority, int flag, const char *format,...)
Definition: syslog.c:26
closelog
void closelog(void)
Definition: syslog.c:12