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
|
// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify %s
typedef unsigned long size_t;
template<typename T, size_t N>
struct Obj {
constexpr static size_t Size = N;
constexpr T& operator[](size_t i) { return components[i]; }
constexpr const T& operator[](size_t i) const { return components[i]; }
constexpr size_t size() const { return Size; }
T components[N];
};
template<typename T, size_t N>
constexpr bool operator==(const Obj<T, N>& a, const Obj<T, N>& b)
{
for (size_t i = 0; i < N; ++i) {
if (a[i] == b[i])
continue;
return false;
}
return true;
}
struct NonTrivial {
NonTrivial();
NonTrivial(const NonTrivial&);
bool operator==(const NonTrivial& other) const { return value == other.value; }
float value;
};
class Component {
public:
void ref() const;
void deref() const;
Obj<float, 4> unresolvedComponents() const { return m_components; }
Obj<NonTrivial, 4> unresolvedNonTrivialComponents() const { return m_nonTrivialComponents; }
bool isEqual(const Component& other) const {
return unresolvedComponents() == other.unresolvedComponents();
}
bool isNonTrivialEqual(const Component& other) const {
return unresolvedNonTrivialComponents() == other.unresolvedNonTrivialComponents();
}
private:
Obj<float, 4> m_components;
Obj<NonTrivial, 4> m_nonTrivialComponents;
};
Component* provide();
bool someFunction(Component* other) {
return provide()->isEqual(*other);
}
bool otherFunction(Component* other) {
return provide()->isNonTrivialEqual(*other);
// expected-warning@-1{{Call argument for 'this' parameter is uncounted and unsafe}}
}
|
