3 * Command Line used to run:
5 * /extra/msmoot/lclint-2.5m/bin/lclint -dump newlint.lcd dummyfile.c
10 // This is our normal definition of PRINTF_LIKE - our lclint run normally
11 // does not use this definition because I think I had a problem in a file
12 // if I used this definition (I have to retest with 2.5 though). this
13 // example does not seem to have a problem
14 #define PRINTF_LIKE __attribute__ ((format(printf,1,2)))
19 #if 1 // These fail to -dump
20 int /*@alt void@*/ console_printf(const char *__format, ...)
22 int /*@alt void@*/ eprintf(const char *__format, ...) PRINTF_LIKE;
23 int /*@alt void@*/ lprintf(const char *__format, ...) PRINTF_LIKE;
26 #if 0 // Even these fail
27 int /*@alt void@*/ console_printf(const char *__format, ...);
28 int /*@alt void@*/ eprintf(const char *__format, ...);
29 int /*@alt void@*/ lprintf(const char *__format, ...);
33 /* But all of these work */
34 int /* @alt void@ */ console_printf(const char *__format, ...);
35 int /* @alt void@ */ eprintf(const char *__format, ...);
36 int /* @alt void@ */ lprintf(const char *__format, ...);
38 int console_printf(const char *__format, ...) PRINTF_LIKE;
39 int eprintf(const char *__format, ...) PRINTF_LIKE;
40 int lprintf(const char *__format, ...) PRINTF_LIKE;
42 int console_printf(const char *__format, ...);
43 int eprintf(const char *__format, ...);
44 int lprintf(const char *__format, ...);