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
|
// RUN: %clang_cc1 -std=c++20 -Wunsafe-buffer-usage \
// RUN: -fsafe-buffer-usage-suggestions \
// RUN: -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
int ptr(unsigned idx) {
int * ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:8}:"std::span<int>"
int a;
a = ptr[idx];
return a;
}
int ptr_to_const(unsigned idx) {
const int * ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:14}:"std::span<int const>"
int a;
a = ptr[idx];
return a;
}
int const_ptr(unsigned idx) {
int * const ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:8}:"std::span<int>"
int a;
a = ptr[idx];
return a;
}
int const_ptr_to_const(unsigned idx) {
const int * const ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:14}:"std::span<int const>"
int a;
a = ptr[idx];
return a;
}
int ptr_to_const_volatile(unsigned idx) {
const volatile int * ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:23}:"std::span<int const volatile>"
int a;
a = ptr[idx];
return a;
}
int const_volatile_ptr(unsigned idx) {
int * const volatile ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:8}:"std::span<int>"
int a;
a = ptr[idx];
return a;
}
int const_volatile_ptr_to_const_volatile(unsigned idx) {
const volatile int * const volatile ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:23}:"std::span<int const volatile>"
int a;
a = ptr[idx];
return a;
}
typedef const int * my_const_int_star;
int typedef_ptr_to_const(unsigned idx) {
my_const_int_star ptr = new int[1];
// CHECK-NOT: fix-it:"{{.*}}":{[[@LINE-1]]:
int a;
a = ptr[idx];
return a;
}
typedef int * const my_int_star_const;
int typedef_const_ptr(unsigned idx) {
my_int_star_const ptr = new int[1];
// CHECK-NOT: fix-it:"{{.*}}":{[[@LINE-1]]:
int a;
a = ptr[idx];
return a;
}
typedef const int * const my_const_int_star_const;
int typedef_const_ptr_to_const(unsigned idx) {
my_const_int_star_const ptr = new int[1];
// CHECK-NOT: fix-it:"{{.*}}":{[[@LINE-1]]:
int a;
a = ptr[idx];
return a;
}
int ptr_to_decltype(unsigned idx) {
int a;
decltype(a) * ptr = new int[1];
// CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:16}:"std::span<decltype(a)>"
a = ptr[idx];
return a;
}
int decltype_ptr(unsigned idx) {
int * p;
decltype(p) ptr = new int[1];
// CHECK-NOT: fix-it:"{{.*}}":{[[@LINE-1]]:
int a;
a = ptr[idx];
return a;
}
|
