File: warn-unsafe-buffer-usage-fixits-attributes-spelling.cpp

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (69 lines) | stat: -rw-r--r-- 2,549 bytes parent folder | download | duplicates (10)
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
// RUN: %clang_cc1 -std=c++20 -Wunsafe-buffer-usage -fdiagnostics-parseable-fixits  -fsafe-buffer-usage-suggestions -DCMD_UNSAFE_ATTR=[[clang::unsafe_buffer_usage]] %s 2>&1 | FileCheck %s


// no need to check fix-its for definition in this test ...
void foo(int *p) {
  int tmp = p[5];
}

// Will use the macro defined from the command line:
void foo(int *);
// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"CMD_UNSAFE_ATTR "
// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"


#undef CMD_UNSAFE_ATTR
void foo(int *);
// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"{{\[}}{{\[}}clang::unsafe_buffer_usage{{\]}}{{\]}} "
// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"


#define UNSAFE_ATTR [[clang::unsafe_buffer_usage]]

void foo(int *);
// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR "
// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"

#undef UNSAFE_ATTR

#if __has_cpp_attribute(clang::unsafe_buffer_usage)
#define UNSAFE_ATTR [[clang::unsafe_buffer_usage]]
#endif

void foo(int *);
// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR "
// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"

#undef UNSAFE_ATTR

#if __has_cpp_attribute(clang::unsafe_buffer_usage)
// we don't know how to use this macro
#define UNSAFE_ATTR(x) [[clang::unsafe_buffer_usage]]
#endif

void foo(int *);
// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"{{\[}}{{\[}}clang::unsafe_buffer_usage{{\]}}{{\]}} "
// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"

#undef UNSAFE_ATTR

#define UNSAFE_ATTR_1 [[clang::unsafe_buffer_usage]]
#define UNSAFE_ATTR_2 [[clang::unsafe_buffer_usage]]
#define UNSAFE_ATTR_3 [[clang::unsafe_buffer_usage]]

// Should use the last defined macro (i.e., UNSAFE_ATTR_3) for
// `[[clang::unsafe_buffer_usage]]`
void foo(int *p);
// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR_3 "
// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:17-[[@LINE-2]]:17}:";\nvoid foo(std::span<int> p)"


#define WRONG_ATTR_1 [clang::unsafe_buffer_usage]]
#define WRONG_ATTR_2 [[clang::unsafe_buffer_usage]
#define WRONG_ATTR_3 [[clang::unsafe_buffer_usag]]

// The last defined macro for
// `[[clang::unsafe_buffer_usage]]` is still UNSAFE_ATTR_3
void foo(int *p);
// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR_3 "
// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:17-[[@LINE-2]]:17}:";\nvoid foo(std::span<int> p)"