1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
// RUN: %clang_cc1 -fsyntax-only -std=c++23 -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)));
// From C++23 'this' can also be specified explicitly.
void g3(this S&, const char *, ...) __attribute__((format(printf, 2, 3)));
void g4(this const char* s, ...) __attribute__((format(printf, 1, 2)));
consteval operator const char*() const { return "%f"; } // #g4_fmt_string
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 h4(this S&, const char *, ...) __attribute__((format(printf, 1, 3))); // \
expected-error {{format argument not a string type}}
void operator() (const char*, ...) __attribute__((format(printf, 2, 3)));
};
void s() {
S().g4(4); // expected-warning {{format specifies type 'double' but the argument has type 'int'}}
// expected-note@#g4_fmt_string {{format string is defined here}}
}
// 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}}
}
|
