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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
// 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>
struct S {};
struct obj {
// Expected rewrite: const std::vector<raw_ptr<S>>& get();
const std::vector<S*>& get() { return member; }
// Expected rewrite: std::vector<raw_ptr<S>> member;
std::vector<S*> member;
};
// No rewrite expected.
std::vector<S*> get_value() {
return {};
}
// No rewrite expected.
std::vector<S*>* get_ptr() {
return nullptr;
}
// No rewrite expected.
std::vector<S*> unrelated_fct() {
return {};
}
void fct() {
obj o;
{
// Expected rewrite: std::vector<raw_ptr<S>> temp = o.member;
std::vector<S*> temp = o.member;
// Expected rewrite: std::vector<raw_ptr<S>> temp2{temp};
std::vector<S*> temp2{temp};
}
{
// Expected rewrite: std::vector<raw_ptr<S>>& temp = o.member;
std::vector<S*>& temp = o.member;
// Expected rewrite: std::vector<raw_ptr<S>> temp2{temp};
std::vector<S*> temp2{temp};
}
{
// Expected rewrite: const std::vector<raw_ptr<S>>& temp = o.member;
const std::vector<S*>& temp = o.member;
// Expected rewrite: std::vector<raw_ptr<S>> temp2{temp};
std::vector<S*> temp2{temp};
}
{
// Expected rewrite: std::vector<raw_ptr<S>>* temp = &o.member;
std::vector<S*>* temp = &o.member;
// Expected rewrite: std::vector<raw_ptr<S>> temp2{*temp};
std::vector<S*> temp2{*temp};
}
{
// Expected rewrite: []() -> std::vector<raw_ptr<S>> { return {}; };
auto init = []() -> std::vector<S*> { return {}; };
o.member = init();
// Expected rewrite: std::vector<raw_ptr<S>> temp = init();
std::vector<S*> temp = init();
}
{
// Expected rewrite:
// [&]() -> std::vector<raw_ptr<S>>* { return &o.member; };
auto fct = [&]() -> std::vector<S*>* { return &o.member; };
// Expected rewrite: std::vector<raw_ptr<S>> a = *fct();
std::vector<S*> a = *fct();
// Expected rewrite:
// std::vector<raw_ptr<S>>::iterator it = (*fct()).begin();
std::vector<S*>::iterator it = fct()->begin();
}
{
// Expected rewrite:
// [&]() -> const std::vector<raw_ptr<S>>& { return o.member; };
auto fct = [&]() -> const std::vector<S*>& { return o.member; };
// Expected rewrite: std::vector<raw_ptr<S>> a = &fct();
const std::vector<S*>* a = &fct();
// Expected rewrite:
// std::vector<raw_ptr<S>>::const_iterator it = fct().begin();
std::vector<S*>::const_iterator it = fct().begin();
}
{
// Expected rewrite: std::vector<raw_ptr<S>>::iterator
std::vector<S*>::iterator it = o.member.begin();
// Expected rewrite: std::vector<raw_ptr<S>>::reverse_iterator
std::vector<S*>::reverse_iterator it2 = o.member.rbegin();
// Expected rewrite: std::vector<raw_ptr<S>>::const_iterator
std::vector<S*>::const_iterator it3 = o.member.cbegin();
// Expected rewrite: std::vector<raw_ptr<S>>::const_reverse_iterator
std::vector<S*>::const_reverse_iterator it4 = o.member.crbegin();
}
{
// Expected rewrite: std::vector<raw_ptr<S>>::iterator
std::vector<S*>::iterator it = o.member.end();
// Expected rewrite: std::vector<raw_ptr<S>>::reverse_iterator
std::vector<S*>::reverse_iterator it2 = o.member.rend();
// Expected rewrite: std::vector<raw_ptr<S>>::const_iterator
std::vector<S*>::const_iterator it3 = o.member.cend();
// Expected rewrite: std::vector<raw_ptr<S>>::const_reverse_iterator
std::vector<S*>::const_reverse_iterator it4 = o.member.crend();
}
{
// create a link with a member to propagate the rewrite.
std::vector<S*> a = o.member;
// Expected rewrite: std::vector<raw_ptr<S>> b;
std::vector<S*> b;
// Expected rewrite: b = (a.size() > 0) ? a : std::vector<raw_ptr<S>>();
b = (a.size() > 0) ? a : std::vector<S*>();
}
{
// Expected rewrite: std::vector<raw_ptr<S>> a = o.member;
std::vector<S*> a = o.member;
// This tests whether the implicit lambda field is rewritten.
auto fct = [&a]() { a.push_back(nullptr); };
}
}
|
