blob: 53ace6358a0cbdbabccc906a479ea7efda24cd93 (
plain)
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
108
|
// RUN: %check_clang_tidy %s bugprone-unused-return-value %t \
// RUN: -config='{CheckOptions: \
// RUN: [{key: bugprone-unused-return-value.CheckedFunctions, \
// RUN: value: "::fun;::ns::Outer::Inner::memFun;::ns::Type::staticFun;::ns::ClassTemplate::memFun;::ns::ClassTemplate::staticFun"}]}' \
// RUN: --
namespace std {
template <typename T>
T *launder(T *);
} // namespace std
namespace ns {
struct Outer {
struct Inner {
bool memFun();
};
};
using AliasName = Outer;
struct Derived : public Outer::Inner {};
struct Retval {
int *P;
Retval() { P = new int; }
~Retval() { delete P; }
};
struct Type {
Retval memFun();
static Retval staticFun();
};
template <typename T>
struct ClassTemplate {
Retval memFun();
static Retval staticFun();
};
} // namespace ns
int fun();
void fun(int);
void warning() {
fun();
// CHECK-NOTES: [[@LINE-1]]:3: warning: the value returned by this function should be used
// CHECK-NOTES: [[@LINE-2]]:3: note: cast the expression to void to silence this warning
(fun());
// CHECK-NOTES: [[@LINE-1]]:4: warning: the value {{.*}} should be used
// CHECK-NOTES: [[@LINE-2]]:4: note: cast {{.*}} this warning
ns::Outer::Inner ObjA1;
ObjA1.memFun();
// CHECK-NOTES: [[@LINE-1]]:3: warning: the value {{.*}} should be used
// CHECK-NOTES: [[@LINE-2]]:3: note: cast {{.*}} this warning
ns::AliasName::Inner ObjA2;
ObjA2.memFun();
// CHECK-NOTES: [[@LINE-1]]:3: warning: the value {{.*}} should be used
// CHECK-NOTES: [[@LINE-2]]:3: note: cast {{.*}} this warning
ns::Derived ObjA3;
ObjA3.memFun();
// CHECK-NOTES: [[@LINE-1]]:3: warning: the value {{.*}} should be used
// CHECK-NOTES: [[@LINE-2]]:3: note: cast {{.*}} this warning
ns::Type::staticFun();
// CHECK-NOTES: [[@LINE-1]]:3: warning: the value {{.*}} should be used
// CHECK-NOTES: [[@LINE-2]]:3: note: cast {{.*}} this warning
ns::ClassTemplate<int> ObjA4;
ObjA4.memFun();
// CHECK-NOTES: [[@LINE-1]]:3: warning: the value {{.*}} should be used
// CHECK-NOTES: [[@LINE-2]]:3: note: cast {{.*}} this warning
ns::ClassTemplate<int>::staticFun();
// CHECK-NOTES: [[@LINE-1]]:3: warning: the value {{.*}} should be used
// CHECK-NOTES: [[@LINE-2]]:3: note: cast {{.*}} this warning
}
void noWarning() {
auto R1 = fun();
ns::Outer::Inner ObjB1;
auto R2 = ObjB1.memFun();
auto R3 = ns::Type::staticFun();
ns::ClassTemplate<int> ObjB2;
auto R4 = ObjB2.memFun();
auto R5 = ns::ClassTemplate<int>::staticFun();
// test calling a void overload of a checked function
fun(5);
// test discarding return value of functions that are not configured to be checked
int I = 1;
std::launder(&I);
ns::Type ObjB3;
ObjB3.memFun();
}
|
