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
|
// RUN: %clang_cc1 -fsyntax-only -Wformat -verify %s -Wno-error=non-pod-varargs
// RUN: %clang_cc1 -fsyntax-only -Wformat -verify -std=c++98 %s -Wno-error=non-pod-varargs
// RUN: %clang_cc1 -fsyntax-only -Wformat -verify -std=c++11 %s -Wno-error=non-pod-varargs
#include <stdarg.h>
extern "C" {
extern int printf(const char *restrict, ...);
extern int sprintf(char *, const char *restrict, ...);
}
class HasCStr {
const char *str;
public:
HasCStr(const char *s): str(s) { }
const char *c_str() {return str;}
};
class HasNoCStr {
const char *str;
public:
HasNoCStr(const char *s): str(s) { }
const char *not_c_str() {return str;}
};
extern const char extstr[16];
void pod_test() {
char str[] = "test";
char dest[32];
char formatString[] = "non-const %s %s";
HasCStr hcs(str);
HasNoCStr hncs(str);
int n = 10;
printf("%d: %s\n", n, hcs.c_str());
printf("%d: %s\n", n, hcs);
#if __cplusplus <= 199711L
// expected-warning@-2 {{cannot pass non-POD object of type 'HasCStr' to variadic function; expected type from format string was 'char *'}}
// expected-note@-3 {{did you mean to call the c_str() method?}}
#else
// expected-warning@-5 {{format specifies type 'char *' but the argument has type 'HasCStr'}}
#endif
printf("%d: %s\n", n, hncs);
#if __cplusplus <= 199711L
// expected-warning@-2 {{cannot pass non-POD object of type 'HasNoCStr' to variadic function; expected type from format string was 'char *'}}
#else
// expected-warning@-4 {{format specifies type 'char *' but the argument has type 'HasNoCStr'}}
#endif
sprintf(str, "%d: %s", n, hcs);
#if __cplusplus <= 199711L
// expected-warning@-2 {{cannot pass non-POD object of type 'HasCStr' to variadic function; expected type from format string was 'char *'}}
// expected-note@-3 {{did you mean to call the c_str() method?}}
#else
// expected-warning@-5 {{format specifies type 'char *' but the argument has type 'HasCStr'}}
#endif
printf(formatString, hcs, hncs);
#if __cplusplus <= 199711L
// expected-warning@-2 {{cannot pass object of non-POD type 'HasCStr' through variadic function}}
// expected-warning@-3 {{cannot pass object of non-POD type 'HasNoCStr' through variadic function}}
#endif
printf(extstr, hcs, n);
#if __cplusplus <= 199711L
// expected-warning@-2 {{cannot pass object of non-POD type 'HasCStr' through variadic function}}
#endif
}
struct Printf {
Printf();
Printf(const Printf&);
Printf(const char *,...) __attribute__((__format__(__printf__,2,3)));
};
void constructor_test() {
const char str[] = "test";
HasCStr hcs(str);
Printf p("%s %d %s", str, 10, 10); // expected-warning {{format specifies type 'char *' but the argument has type 'int'}}
Printf q("%s %d", hcs, 10);
#if __cplusplus <= 199711L
// expected-warning@-2 {{cannot pass non-POD object of type 'HasCStr' to variadic constructor; expected type from format string was 'char *'}}
// expected-note@-3 {{did you mean to call the c_str() method?}}
#else
// expected-warning@-5 {{format specifies type 'char *' but the argument has type 'HasCStr'}}
#endif
}
|
