clang/test/Sema/attr-format.c

   1 //RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 #include <stdarg.h>
   4
   5 void a(const char *a, ...) __attribute__((format(printf, 1, 2)));    // no-error
   6 void b(const char *a, ...) __attribute__((format(printf, 1, 1)));    // expected-error {{'format' attribute parameter 3 is out of bounds}}
   7 void c(const char *a, ...) __attribute__((format(printf, 0, 2)));    // expected-error {{'format' attribute parameter 2 is out of bounds}}
   8 void d(const char *a, int c) __attribute__((format(printf, 1, 2)));  // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}}
   9 void e(char *str, int c, ...) __attribute__((format(printf, 2, 3))); // expected-error {{format argument not a string type}}
  10 void f(int a, const char *b, ...) __attribute__((format(printf, 2, 1))); // expected-error {{'format' attribute parameter 3 is out of bounds}}
  11 void g(int a, const char *b, ...) __attribute__((format(printf, 2, 2))); // expected-error {{'format' attribute parameter 3 is out of bounds}}
  12 void h(int a, const char *b, ...) __attribute__((format(printf, 2, 3))); // no-error
  13 void i(const char *a, int b, ...) __attribute__((format(printf, 1, 2))); // expected-error {{'format' attribute parameter 3 is out of bounds}}
  14
  15 typedef const char *xpto;
  16 void j(xpto c, va_list list) __attribute__((format(printf, 1, 0))); // no-error
  17 void k(xpto c) __attribute__((format(printf, 1, 0)));               // no-error
  18
  19 void y(char *str) __attribute__((format(strftime, 1, 0)));             // no-error
  20 void z(char *str, int c, ...) __attribute__((format(strftime, 1, 2))); // expected-error {{strftime format attribute requires 3rd parameter to be 0}}
  21
  22 int (*f_ptr)(char*,...) __attribute__((format(printf, 1,2))); // no-error
  23 int (*f2_ptr)(double,...) __attribute__((format(printf, 1, 2))); // expected-error {{format argument not a string type}}
  24
  25 struct _mystruct {
  26   int (*printf)(const char *format, ...) __attribute__((__format__(printf, 1, 2))); // no-error
  27   int (*printf2)(double format, ...) __attribute__((__format__(printf, 1, 2))); // expected-error {{format argument not a string type}}
  28 };
  29
  30 typedef int (*f3_ptr)(char*,...) __attribute__((format(printf,1,0))); // no-error
  31
  32 int rdar6623513(void *, const char*, const char*, ...)
  33   __attribute__ ((format (printf, 3, 0)));
  34
  35 int rdar6623513_aux(int len, const char* s) {
  36   rdar6623513(0, "hello", "%.*s", len, s);
  37 }
  38
  39 // same as format(printf(...))...
  40 void a2(const char *a, ...) __attribute__((format(printf0, 1, 2)));    // no-error
  41 void b2(const char *a, ...) __attribute__((format(printf0, 1, 1)));    // expected-error {{'format' attribute parameter 3 is out of bounds}}
  42 void c2(const char *a, ...) __attribute__((format(printf0, 0, 2)));    // expected-error {{'format' attribute parameter 2 is out of bounds}}
  43 void d2(const char *a, int c) __attribute__((format(printf0, 1, 2)));  // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}}
  44 void e2(char *str, int c, ...) __attribute__((format(printf0, 2, 3))); // expected-error {{format argument not a string type}}
  45
  46 // FreeBSD usage
  47 #define __printf0like(fmt, va) __attribute__((__format__(__printf0__, fmt, va)))
  48 void null(int i, const char *a, ...) __printf0like(2, 0); // no-error
  49 void null(int i, const char *a, ...) {                    // expected-note{{passing argument to parameter 'a' here}}
  50   if (a)
  51     (void)0/* vprintf(...) would go here */;
  52 }
  53
  54 void callnull(void){
  55   null(0,        0); // no error
  56   null(0, (char*)0); // no error
  57   null(0, (void*)0); // no error
  58   null(0,  (int*)0); // expected-warning {{incompatible pointer types}}
  59 }
  60
  61 // FreeBSD kernel extensions
  62 void a3(const char *a, ...) __attribute__((format(freebsd_kprintf, 1, 2)));    // no-error
  63 void b3(const char *a, ...) __attribute__((format(freebsd_kprintf, 1, 1)));    // expected-error {{'format' attribute parameter 3 is out of bounds}}
  64 void c3(const char *a, ...) __attribute__((format(freebsd_kprintf, 0, 2)));    // expected-error {{'format' attribute parameter 2 is out of bounds}}
  65 void d3(const char *a, int c) __attribute__((format(freebsd_kprintf, 1, 2)));  // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}}
  66 void e3(char *str, int c, ...) __attribute__((format(freebsd_kprintf, 2, 3))); // expected-error {{format argument not a string type}}
  67
  68 // PR4470
  69 int xx_vprintf(const char *, va_list);
  70
  71 const char *foo(const char *format) __attribute__((format_arg(1)));
  72
  73 void __attribute__((format(printf, 1, 0)))
  74 foo2(const char *fmt, va_list va) {
  75   xx_vprintf(foo(fmt), va);
  76 }
  77
  78 // PR6542
  79 extern void gcc_format(const char *, ...)
  80     __attribute__((__format__(__gcc_diag__, 1, 2)));
  81 extern void gcc_cformat(const char *, ...)
  82     __attribute__((__format__(__gcc_cdiag__, 1, 2)));
  83 extern void gcc_cxxformat(const char *, ...)
  84     __attribute__((__format__(__gcc_cxxdiag__, 1, 2)));
  85 extern void gcc_tformat(const char *, ...)
  86     __attribute__((__format__(__gcc_tdiag__, 1, 2)));
  87
  88 const char *foo3(const char *format) __attribute__((format_arg("foo"))); // expected-error{{'format_arg' attribute requires parameter 1 to be an integer constant}}
  89
  90 void call_nonvariadic(void) {
  91   d3("%i", 123);
  92   d3("%d", 123);
  93   d3("%s", 123); // expected-warning{{format specifies type 'char *' but the argument has type 'int'}}
  94 }
  95
  96 __attribute__((format(printf, 1, 2)))
  97 void forward_fixed(const char *fmt, _Bool b, char i, short j, int k, float l, double m) { // expected-warning{{GCC requires a function with the 'format' attribute to be variadic}}
  98   forward_fixed(fmt, b, i, j, k, l, m);
  99   a(fmt, b, i, j, k, l, m);
 100 }
 101
 102 // OpenBSD
 103 // same as format(printf(...))...
 104 void a2(const char *a, ...) __attribute__((format(syslog, 1, 2)));    // no-error
 105 void b2(const char *a, ...) __attribute__((format(syslog, 1, 1)));    // expected-error {{'format' attribute parameter 3 is out of bounds}}
 106 void c2(const char *a, ...) __attribute__((format(syslog, 0, 2)));    // expected-error {{'format' attribute parameter 2 is out of bounds}}
 107 void d2(const char *a, int c) __attribute__((format(syslog, 1, 2)));  // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}}
 108 void e2(char *str, int c, ...) __attribute__((format(syslog, 2, 3))); // expected-error {{format argument not a string type}}