clang/test/SemaCXX/warn-unsafe-buffer-usage-fixits-pre-increment.cpp

   1 // RUN: %clang_cc1 -std=c++20 -Wunsafe-buffer-usage \
   2 // RUN:            -fsafe-buffer-usage-suggestions \
   3 // RUN:            -triple=arm-apple \
   4 // RUN:            -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
   5
   6 void foo(int * , int *);
   7
   8 void simple() {
   9   int * p = new int[10];
  10   // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:8}:"std::span<int>"
  11   // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:13}:"{"
  12   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:24-[[@LINE-3]]:24}:", 10}"
  13   bool b = ++p;
  14   // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:12-[[@LINE-1]]:15}:"(p = p.subspan(1)).data()"
  15   unsigned long long n = (unsigned long long) ++p;
  16   // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:47-[[@LINE-1]]:50}:"(p = p.subspan(1)).data()"
  17   if (++p) {
  18     // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:7-[[@LINE-1]]:10}:"(p = p.subspan(1)).data()"
  19   }
  20   if (++p - ++p) {
  21     // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:7-[[@LINE-1]]:10}:"(p = p.subspan(1)).data()"
  22     // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:16}:"(p = p.subspan(1)).data()"
  23   }
  24   foo(++p, p);
  25   // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:7-[[@LINE-1]]:10}:"(p = p.subspan(1)).data()"
  26   // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:13}:".data()"
  27
  28   // FIXME: Don't know how to fix the following cases:
  29   // CHECK-NOT: fix-it:"{{.*}}":{
  30   int * g = new int[10];
  31   int * a[10];
  32   a[0] = ++g;
  33   foo(g++, g);
  34   if (++(a[0])) {
  35   }
  36 }