aboutsummaryrefslogtreecommitdiff
path: root/clang/test/SemaCXX/warn-unsafe-buffer-usage-fixits-local-var-span-cv-qualifiers.cpp
blob: 4c7b5df2cba5b000437ca055fc895aaef50cbc6c (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
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;
}