clang/test/SemaCXX/warn-unsafe-buffer-usage-multi-decl-ptr-init.cpp

   1 // RUN: %clang_cc1 -std=c++20 -Wunsafe-buffer-usage -fsafe-buffer-usage-suggestions -verify %s
   2
   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
  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
  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.
  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
  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
  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 }