| // RUN: %clang_cc1 -fsyntax-only -Wformat-nonliteral -verify %s |
| #include <stdarg.h> |
| |
| int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); |
| |
| struct S { |
| static void f(const char *, ...) __attribute__((format(printf, 1, 2))); |
| static const char *f2(const char *) __attribute__((format_arg(1))); |
| |
| // GCC has a hidden 'this' argument in member functions which is why |
| // the format argument is argument 2 here. |
| void g(const char*, ...) __attribute__((format(printf, 2, 3))); |
| const char* g2(const char*) __attribute__((format_arg(2))); |
| |
| void h(const char*, ...) __attribute__((format(printf, 1, 4))); // \ |
| expected-error{{implicit this argument as the format string}} |
| void h2(const char*, ...) __attribute__((format(printf, 2, 1))); // \ |
| expected-error{{out of bounds}} |
| const char* h3(const char*) __attribute__((format_arg(1))); // \ |
| expected-error{{invalid for the implicit this argument}} |
| |
| void operator() (const char*, ...) __attribute__((format(printf, 2, 3))); |
| }; |
| |
| // PR5521 |
| struct A { void a(const char*,...) __attribute((format(printf,2,3))); }; |
| void b(A x) { |
| x.a("%d", 3); |
| } |
| |
| // PR8625: correctly interpret static member calls as not having an implicit |
| // 'this' argument. |
| namespace PR8625 { |
| struct S { |
| static void f(const char*, const char*, ...) |
| __attribute__((format(printf, 2, 3))); |
| }; |
| void test(S s, const char* str) { |
| s.f(str, "%s", str); |
| } |
| } |
| |
| // Make sure we interpret member operator calls as having an implicit |
| // this argument. |
| void test_operator_call(S s, const char *str) { |
| s("%s", str); |
| } |
| |
| template <typename... Args> |
| void format(const char *fmt, Args &&...args) // expected-warning{{GCC requires a function with the 'format' attribute to be variadic}} |
| __attribute__((format(printf, 1, 2))); |
| |
| template <typename Arg> |
| Arg &expand(Arg &a) { return a; } |
| |
| struct foo { |
| int big[10]; |
| foo(); |
| ~foo(); |
| |
| template <typename... Args> |
| void format(const char *const fmt, Args &&...args) // expected-warning{{GCC requires a function with the 'format' attribute to be variadic}} |
| __attribute__((format(printf, 2, 3))) { |
| printf(fmt, expand(args)...); |
| } |
| }; |
| |
| void format_invalid_nonpod(const char *fmt, struct foo f) // expected-warning{{GCC requires a function with the 'format' attribute to be variadic}} |
| __attribute__((format(printf, 1, 2))); |
| |
| void do_format() { |
| int x = 123; |
| int &y = x; |
| const char *s = "world"; |
| bool b = false; |
| format("bare string"); |
| format("%s", 123); // expected-warning{{format specifies type 'char *' but the argument has type 'int'}} |
| format("%s %s %u %d %i %p\n", "hello", s, 10u, x, y, &do_format); |
| format("%s %s %u %d %i %p\n", "hello", s, 10u, x, y, do_format); |
| format("bad format %s"); // expected-warning{{more '%' conversions than data arguments}} |
| |
| format("%c %c %hhd %hd %d\n", (char)'a', 'a', 'a', (short)123, (int)123); |
| format("%f %f %f\n", (__fp16)123.f, 123.f, 123.); |
| format("%Lf", (__fp16)123.f); // expected-warning{{format specifies type 'long double' but the argument has type '__fp16'}} |
| format("%Lf", 123.f); // expected-warning{{format specifies type 'long double' but the argument has type 'float'}} |
| format("%hhi %hhu %hi %hu %i %u", b, b, b, b, b, b); |
| format("%li", b); // expected-warning{{format specifies type 'long' but the argument has type 'bool'}} |
| |
| struct foo f; |
| format_invalid_nonpod("hello %i", f); // expected-warning{{format specifies type 'int' but the argument has type 'struct foo'}} |
| |
| f.format("%s", 123); // expected-warning{{format specifies type 'char *' but the argument has type 'int'}} |
| f.format("%s %s %u %d %i %p\n", "hello", s, 10u, x, y, &do_format); |
| f.format("%s %s %u %d %i %p\n", "hello", s, 10u, x, y, do_format); |
| f.format("bad format %s"); // expected-warning{{more '%' conversions than data arguments}} |
| } |