1 // RUN: %clang_cc1 -std=c++20 -Wunsafe-buffer-usage -fsafe-buffer-usage-suggestions -verify %s
2
lhs_span_multi_assign()3 void lhs_span_multi_assign() {
4 int *a = new int[2];
5 int *b = a;
6 int *c = b;
7 int *d = c; // expected-warning{{'d' is an unsafe pointer used for buffer access}} expected-note{{change type of 'd' to 'std::span' to preserve bounds information, and change 'c', 'b', and 'a' to 'std::span' to propagate bounds information between them}}
8 int tmp = d[2]; // expected-note{{used in buffer access here}}
9 }
10
rhs_span1()11 void rhs_span1() {
12 int *q = new int[12];
13 int *p = q; // expected-warning{{'p' is an unsafe pointer used for buffer access}} expected-note{{change type of 'p' to 'std::span' to preserve bounds information, and change 'q' and 'r' to 'std::span' to propagate bounds information between them}}
14 p[5] = 10; // expected-note{{used in buffer access here}}
15 int *r = q; // expected-warning{{'r' is an unsafe pointer used for buffer access}} expected-note{{change type of 'r' to 'std::span' to preserve bounds information, and change 'p' and 'q' to 'std::span' to propagate bounds information between them}}
16 r[10] = 5; // expected-note{{used in buffer access here}}
17 }
18
rhs_span2()19 void rhs_span2() {
20 int *q = new int[6];
21 int *p = q; // expected-warning{{'p' is an unsafe pointer used for buffer access}} expected-note{{change type of 'p' to 'std::span' to preserve bounds information, and change 'q' to 'std::span' to propagate bounds information between them}}
22 p[5] = 10; // expected-note{{used in buffer access here}}
23 }
24
25 // FIXME: Suggest fixits for p, q, and r since span a valid fixit for r.
rhs_span3()26 void rhs_span3() {
27 int *q = new int[6];
28 int *p = q; // expected-warning{{'p' is an unsafe pointer used for buffer access}}
29 p[5] = 10; // expected-note{{used in buffer access here}}
30 int *r = q; // FIXME: we do not fix `int *r = q` here as the `.data()` fix-it is not generally correct
31 }
32
test_grouping()33 void test_grouping() {
34 int *z = new int[8];
35 int tmp;
36 int *y = new int[10]; // expected-warning{{'y' is an unsafe pointer used for buffer access}}
37 tmp = y[5]; // expected-note{{used in buffer access here}}
38
39 int *x = new int[10];
40 x = y; // FIXME: we do not fix `x = y` here as the `.data()` fix-it is not generally correct
41
42 int *w = z;
43 }
44
test_crash()45 void test_crash() {
46 int *r = new int[8];
47 int *q = r;
48 int *p; // expected-warning{{'p' is an unsafe pointer used for buffer access}} expected-note{{change type of 'p' to 'std::span' to preserve bounds information, and change 'q' and 'r' to 'std::span' to propagate bounds information between them}}
49 p = q;
50 int tmp = p[9]; // expected-note{{used in buffer access here}}
51 }
52