blob: e9f01c8ed754055e3d9c5cb5a8edc60a297db8b2 (
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
|
// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncheckedCallArgsChecker -verify %s
#include "mock-types.h"
RefCountableAndCheckable* makeObj();
CheckedRef<RefCountableAndCheckable> makeObjChecked();
void someFunction(RefCountableAndCheckable*);
namespace call_args_unchecked_uncounted {
static void foo() {
someFunction(makeObj());
// expected-warning@-1{{Call argument is unchecked and unsafe [alpha.webkit.UncheckedCallArgsChecker]}}
}
} // namespace call_args_unchecked_uncounted
namespace call_args_checked {
static void foo() {
CheckedPtr<RefCountableAndCheckable> ptr = makeObj();
someFunction(ptr.get());
}
static void bar() {
someFunction(CheckedPtr { makeObj() }.get());
}
static void baz() {
someFunction(makeObjChecked().ptr());
}
} // namespace call_args_checked
namespace call_args_member {
void consume(CheckedObj&);
struct WrapperObj {
CheckedObj checked;
CheckedObj& checkedRef;
void foo() {
consume(checked);
consume(checkedRef);
// expected-warning@-1{{Call argument is unchecked and unsafe [alpha.webkit.UncheckedCallArgsChecker]}}
}
void bar(WrapperObj& other) {
consume(other.checked);
// expected-warning@-1{{Call argument is unchecked and unsafe [alpha.webkit.UncheckedCallArgsChecker]}}
}
};
} // namespace call_args_checked
namespace call_args_default {
void someFunction(RefCountableAndCheckable* = makeObj());
// expected-warning@-1{{Call argument is unchecked and unsafe [alpha.webkit.UncheckedCallArgsChecker]}}
void otherFunction(RefCountableAndCheckable* = makeObjChecked().ptr());
void foo() {
someFunction();
otherFunction();
}
}
namespace call_args_checked_assignment {
CheckedObj* provide();
void foo() {
CheckedPtr<CheckedObj> ptr;
ptr = provide();
}
}
namespace call_with_std_move {
void consume(CheckedObj&&);
void foo(CheckedObj&& obj) {
consume(std::move(obj));
}
}
|
