File: warn-unsafe-buffer-usage-fixits-pre-increment.cpp

package info (click to toggle)
llvm-toolchain-snapshot 1%3A21~%2B%2B20250612091244%2B3f0cf742ac4e-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,204,364 kB
  • sloc: cpp: 7,565,811; ansic: 1,415,365; asm: 1,031,257; python: 250,248; f90: 93,670; objc: 70,556; lisp: 41,926; pascal: 17,847; sh: 10,009; ml: 5,111; perl: 4,720; awk: 3,523; makefile: 3,423; javascript: 2,272; xml: 892; fortran: 763
file content (36 lines) | stat: -rw-r--r-- 1,400 bytes parent folder | download | duplicates (8)
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
// RUN: %clang_cc1 -std=c++20 -Wunsafe-buffer-usage \
// RUN:            -fsafe-buffer-usage-suggestions \
// RUN:            -triple=arm-apple \
// RUN:            -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s

void foo(int * , int *);

void simple() {
  int * p = new int[10];
  // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:3-[[@LINE-1]]:8}:"std::span<int>"
  // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:13}:"{"
  // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:24-[[@LINE-3]]:24}:", 10}"
  bool b = ++p;
  // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:12-[[@LINE-1]]:15}:"(p = p.subspan(1)).data()"
  unsigned long long n = (unsigned long long) ++p;
  // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:47-[[@LINE-1]]:50}:"(p = p.subspan(1)).data()"
  if (++p) {
    // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:7-[[@LINE-1]]:10}:"(p = p.subspan(1)).data()"
  }
  if (++p - ++p) {
    // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:7-[[@LINE-1]]:10}:"(p = p.subspan(1)).data()"
    // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:16}:"(p = p.subspan(1)).data()"
  }
  foo(++p, p);
  // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:7-[[@LINE-1]]:10}:"(p = p.subspan(1)).data()"
  // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:13}:".data()"

  // FIXME: Don't know how to fix the following cases:
  // CHECK-NOT: fix-it:"{{.*}}":{
  int * g = new int[10];
  int * a[10];
  a[0] = ++g;
  foo(g++, g);
  if (++(a[0])) {
  }
}