clang/test/Preprocessor/has_attribute.cpp

   1 // RUN: %clang_cc1 -triple i386-unknown-unknown -fms-compatibility -std=c++11 -E -P %s -o - | FileCheck %s --check-prefixes=CHECK,ITANIUM --implicit-check-not=:
   2 // RUN: %clang_cc1 -triple i386-windows -fms-compatibility -std=c++11 -E -P %s -o - | FileCheck %s --check-prefixes=CHECK,WINDOWS --implicit-check-not=:
   3
   4 #define CXX11(x) x: __has_cpp_attribute(x)
   5
   6 // CHECK: clang::fallthrough: 201603L
   7 CXX11(clang::fallthrough)
   8
   9 // CHECK: selectany: 0
  10 CXX11(selectany)
  11
  12 // The attribute name can be bracketed with double underscores.
  13 // CHECK: clang::__fallthrough__: 201603L
  14 CXX11(clang::__fallthrough__)
  15
  16 // The scope cannot be bracketed with double underscores unless it is
  17 // for gnu or clang.
  18 // CHECK: __gsl__::suppress: 0
  19 CXX11(__gsl__::suppress)
  20
  21 // CHECK: _Clang::fallthrough: 201603L
  22 CXX11(_Clang::fallthrough)
  23
  24 // CHECK: __nodiscard__: 201907L
  25 CXX11(__nodiscard__)
  26
  27 // CHECK: __gnu__::__const__: 1
  28 CXX11(__gnu__::__const__)
  29
  30 // Test that C++11, target-specific attributes behave properly.
  31
  32 // CHECK: gnu::mips16: 0
  33 CXX11(gnu::mips16)
  34
  35 // Test for standard attributes as listed in C++2a [cpp.cond] paragraph 6.
  36
  37 CXX11(assert)
  38 CXX11(carries_dependency)
  39 CXX11(deprecated)
  40 CXX11(ensures)
  41 CXX11(expects)
  42 CXX11(fallthrough)
  43 CXX11(likely)
  44 CXX11(maybe_unused)
  45 CXX11(no_unique_address)
  46 CXX11(nodiscard)
  47 CXX11(noreturn)
  48 CXX11(unlikely)
  49 // FIXME(201806L) CHECK: assert: 0
  50 // CHECK: carries_dependency: 200809L
  51 // CHECK: deprecated: 201309L
  52 // FIXME(201806L) CHECK: ensures: 0
  53 // FIXME(201806L) CHECK: expects: 0
  54 // CHECK: fallthrough: 201603L
  55 // CHECK: likely: 201803L
  56 // CHECK: maybe_unused: 201603L
  57 // ITANIUM: no_unique_address: 201803L
  58 // WINDOWS: no_unique_address: 0
  59 // CHECK: nodiscard: 201907L
  60 // CHECK: noreturn: 200809L
  61 // CHECK: unlikely: 201803L
  62
  63 namespace PR48462 {
  64 // Test that macro expansion of the builtin argument works.
  65 #define C clang
  66 #define F fallthrough
  67 #define CF clang::fallthrough
  68
  69 #if __has_cpp_attribute(F)
  70 int has_fallthrough;
  71 #endif
  72 // CHECK: int has_fallthrough;
  73
  74 #if __has_cpp_attribute(C::F)
  75 int has_clang_falthrough_1;
  76 #endif
  77 // CHECK: int has_clang_falthrough_1;
  78
  79 #if __has_cpp_attribute(clang::F)
  80 int has_clang_falthrough_2;
  81 #endif
  82 // CHECK: int has_clang_falthrough_2;
  83
  84 #if __has_cpp_attribute(C::fallthrough)
  85 int has_clang_falthrough_3;
  86 #endif
  87 // CHECK: int has_clang_falthrough_3;
  88
  89 #if __has_cpp_attribute(CF)
  90 int has_clang_falthrough_4;
  91 #endif
  92 // CHECK: int has_clang_falthrough_4;
  93
  94 #define FUNCLIKE1(x) clang::x
  95 #if __has_cpp_attribute(FUNCLIKE1(fallthrough))
  96 int funclike_1;
  97 #endif
  98 // CHECK: int funclike_1;
  99
 100 #define FUNCLIKE2(x) _Clang::x
 101 #if __has_cpp_attribute(FUNCLIKE2(fallthrough))
 102 int funclike_2;
 103 #endif
 104 // CHECK: int funclike_2;
 105 }
 106
 107 // Test for Microsoft __declspec attributes
 108
 109 #define DECLSPEC(x) x: __has_declspec_attribute(x)
 110
 111 // CHECK: uuid: 1
 112 // CHECK: __uuid__: 1
 113 DECLSPEC(uuid)
 114 DECLSPEC(__uuid__)
 115
 116 // CHECK: fallthrough: 0
 117 DECLSPEC(fallthrough)
 118
 119 namespace PR48462 {
 120 // Test that macro expansion of the builtin argument works.
 121 #define U uuid
 122
 123 #if __has_declspec_attribute(U)
 124 int has_uuid;
 125 #endif
 126 // CHECK: int has_uuid;
 127 }