test/tests2.5/dummyfile.c

   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