70 lines · cpp
1// 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 %s2 3 4// no need to check fix-its for definition in this test ...5void foo(int *p) {6 int tmp = p[5];7}8 9// Will use the macro defined from the command line:10void foo(int *);11// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"CMD_UNSAFE_ATTR "12// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"13 14 15#undef CMD_UNSAFE_ATTR16void foo(int *);17// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"{{\[}}{{\[}}clang::unsafe_buffer_usage{{\]}}{{\]}} "18// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"19 20 21#define UNSAFE_ATTR [[clang::unsafe_buffer_usage]]22 23void foo(int *);24// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR "25// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"26 27#undef UNSAFE_ATTR28 29#if __has_cpp_attribute(clang::unsafe_buffer_usage)30#define UNSAFE_ATTR [[clang::unsafe_buffer_usage]]31#endif32 33void foo(int *);34// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR "35// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"36 37#undef UNSAFE_ATTR38 39#if __has_cpp_attribute(clang::unsafe_buffer_usage)40// we don't know how to use this macro41#define UNSAFE_ATTR(x) [[clang::unsafe_buffer_usage]]42#endif43 44void foo(int *);45// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"{{\[}}{{\[}}clang::unsafe_buffer_usage{{\]}}{{\]}} "46// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:16-[[@LINE-2]]:16}:";\nvoid foo(std::span<int>)"47 48#undef UNSAFE_ATTR49 50#define UNSAFE_ATTR_1 [[clang::unsafe_buffer_usage]]51#define UNSAFE_ATTR_2 [[clang::unsafe_buffer_usage]]52#define UNSAFE_ATTR_3 [[clang::unsafe_buffer_usage]]53 54// Should use the last defined macro (i.e., UNSAFE_ATTR_3) for55// `[[clang::unsafe_buffer_usage]]`56void foo(int *p);57// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR_3 "58// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:17-[[@LINE-2]]:17}:";\nvoid foo(std::span<int> p)"59 60 61#define WRONG_ATTR_1 [clang::unsafe_buffer_usage]]62#define WRONG_ATTR_2 [[clang::unsafe_buffer_usage]63#define WRONG_ATTR_3 [[clang::unsafe_buffer_usag]]64 65// The last defined macro for66// `[[clang::unsafe_buffer_usage]]` is still UNSAFE_ATTR_367void foo(int *p);68// CHECK: fix-it:{{.*}}:{[[@LINE-1]]:1-[[@LINE-1]]:1}:"UNSAFE_ATTR_3 "69// CHECK: fix-it:{{.*}}:{[[@LINE-2]]:17-[[@LINE-2]]:17}:";\nvoid foo(std::span<int> p)"70