]>
Commit | Line | Data |
---|---|---|
cc78dedd | 1 | /* |
2 | * Problem File. | |
3 | * Command Line used to run: | |
4 | * | |
5 | * /extra/msmoot/lclint-2.5m/bin/lclint -dump newlint.lcd dummyfile.c | |
6 | */ | |
7 | ||
8 | ||
9 | #if 1 | |
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))) | |
15 | #else | |
16 | #define PRINTF_LIKE | |
17 | #endif | |
18 | ||
19 | #if 1 // These fail to -dump | |
20 | int /*@alt void@*/ console_printf(const char *__format, ...) | |
21 | PRINTF_LIKE; | |
22 | int /*@alt void@*/ eprintf(const char *__format, ...) PRINTF_LIKE; | |
23 | int /*@alt void@*/ lprintf(const char *__format, ...) PRINTF_LIKE; | |
24 | #endif | |
25 | ||
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, ...); | |
30 | #endif | |
31 | ||
32 | ||
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, ...); | |
37 | ||
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; | |
41 | ||
42 | int console_printf(const char *__format, ...); | |
43 | int eprintf(const char *__format, ...); | |
44 | int lprintf(const char *__format, ...); | |
45 | ||
46 | ||
47 | ||
48 |