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
|
// Copyright 2023 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include <vector>
#include "base/memory/raw_ptr.h"
struct StackAllocatedType {
using IsStackAllocatedTypeMarker [[maybe_unused]] = int;
};
struct StackAllocatedSubType : public StackAllocatedType {};
struct NonStackAllocatedType {};
// typedefs should be checked
typedef raw_ptr<StackAllocatedType> ErrTypeA;
typedef raw_ptr<StackAllocatedSubType> ErrTypeB;
typedef raw_ptr<NonStackAllocatedType> OkTypeC;
typedef raw_ptr<std::vector<StackAllocatedType>> ErrTypeD;
typedef raw_ptr<std::vector<StackAllocatedSubType>> ErrTypeE;
typedef raw_ptr<std::vector<NonStackAllocatedType>> OkTypeF;
typedef std::vector<raw_ptr<StackAllocatedType>> ErrTypeG;
typedef std::vector<raw_ptr<StackAllocatedSubType>> ErrTypeH;
typedef std::vector<raw_ptr<NonStackAllocatedType>> OkTypeI;
// fields should be checked
struct MyStruct {
raw_ptr<StackAllocatedType> err_a;
raw_ptr<StackAllocatedSubType> err_b;
raw_ptr<NonStackAllocatedType> ok_c;
raw_ptr<std::vector<StackAllocatedType>> err_d;
raw_ptr<std::vector<StackAllocatedSubType>> err_e;
raw_ptr<std::vector<NonStackAllocatedType>> ok_f;
std::vector<raw_ptr<StackAllocatedType>> err_g;
std::vector<raw_ptr<StackAllocatedSubType>> err_h;
std::vector<raw_ptr<NonStackAllocatedType>> ok_i;
};
// variables should be checked
void MyFunc() {
raw_ptr<StackAllocatedType> err_a;
raw_ptr<StackAllocatedSubType> err_b;
raw_ptr<NonStackAllocatedType> ok_c;
raw_ptr<std::vector<StackAllocatedType>> err_d;
raw_ptr<std::vector<StackAllocatedSubType>> err_e;
raw_ptr<std::vector<NonStackAllocatedType>> ok_f;
std::vector<raw_ptr<StackAllocatedType>> err_g;
std::vector<raw_ptr<StackAllocatedSubType>> err_h;
std::vector<raw_ptr<NonStackAllocatedType>> ok_i;
raw_ref<StackAllocatedType> err_raw_ref;
raw_ref<NonStackAllocatedType> ok_raw_ref;
}
// TODO(mikt@google.com): Currently, this rule cannot detect bad usage wrapped
// with a template type parameter.
template <typename T>
struct RawPtrWrapper {
raw_ptr<T> p;
};
typedef RawPtrWrapper<StackAllocatedType> UndesiredButNotDetectedType;
|
