122 lines · cpp
1// RUN: %clang_cc1 -verify -fsyntax-only %s -Wno-c++17-extensions2 3int bar();4 5// expected-note@+1 2 {{conflicting attribute is here}}6[[gnu::always_inline]] void always_inline_fn(void) { }7// expected-note@+1 2 {{conflicting attribute is here}}8[[gnu::flatten]] void flatten_fn(void) { }9[[gnu::noinline]] void noinline_fn(void) { }10 11void foo() {12 [[clang::noinline]] bar();13 [[clang::noinline(0)]] bar(); // expected-error {{'clang::noinline' attribute takes no arguments}}14 int x;15 [[clang::noinline]] x = 0; // expected-warning {{'clang::noinline' attribute is ignored because there exists no call expression inside the statement}}16 [[clang::noinline]] { asm("nop"); } // expected-warning {{'clang::noinline' attribute is ignored because there exists no call expression inside the statement}}17 [[clang::noinline]] label: x = 1; // expected-warning {{'clang::noinline' attribute only applies to functions and statements}}18 19 20 [[clang::noinline]] always_inline_fn(); // expected-warning {{statement attribute 'clang::noinline' has higher precedence than function attribute 'always_inline'}}21 [[clang::noinline]] flatten_fn(); // expected-warning {{statement attribute 'clang::noinline' has higher precedence than function attribute 'flatten'}}22 [[clang::noinline]] noinline_fn();23 24 [[gnu::noinline]] bar(); // expected-warning {{attribute is ignored on this statement as it only applies to functions; use '[[clang::noinline]]' on statements}}25 __attribute__((noinline)) bar(); // expected-warning {{attribute is ignored on this statement as it only applies to functions; use '[[clang::noinline]]' on statements}}26}27 28void ms_noi_check() {29 [[msvc::noinline]] bar();30 [[msvc::noinline(0)]] bar(); // expected-error {{'msvc::noinline' attribute takes no arguments}}31 int x;32 [[msvc::noinline]] x = 0; // expected-warning {{'msvc::noinline' attribute is ignored because there exists no call expression inside the statement}}33 [[msvc::noinline]] { asm("nop"); } // expected-warning {{'msvc::noinline' attribute is ignored because there exists no call expression inside the statement}}34 [[msvc::noinline]] label: x = 1; // expected-warning {{'msvc::noinline' attribute only applies to functions and statements}}35 36 [[msvc::noinline]] always_inline_fn(); // expected-warning {{statement attribute 'msvc::noinline' has higher precedence than function attribute 'always_inline'}}37 [[msvc::noinline]] flatten_fn(); // expected-warning {{statement attribute 'msvc::noinline' has higher precedence than function attribute 'flatten'}}38 [[msvc::noinline]] noinline_fn();39}40 41[[clang::noinline]] static int i = bar(); // expected-warning {{'clang::noinline' attribute only applies to functions and statements}}42[[msvc::noinline]] static int j = bar(); // expected-warning {{'msvc::noinline' attribute only applies to functions and statements}}43 44// This used to crash the compiler.45template<int D>46int foo(int x) {47 [[clang::noinline]] return foo<D-1>(x + 1);48}49 50template<int D>51[[clang::always_inline]]52int dependent(int x){ return x + D;} // #DEP53[[clang::always_inline]]54int non_dependent(int x){return x;} // #NO_DEP55 56template<int D> [[clang::always_inline]]57int baz(int x) { // #BAZ58 // expected-warning@+2{{statement attribute 'clang::noinline' has higher precedence than function attribute 'always_inline'}}59 // expected-note@#NO_DEP{{conflicting attribute is here}}60 [[clang::noinline]] non_dependent(x);61 if constexpr (D>0) {62 // expected-warning@+6{{statement attribute 'clang::noinline' has higher precedence than function attribute 'always_inline'}}63 // expected-note@#NO_DEP{{conflicting attribute is here}}64 // expected-warning@+4 3{{statement attribute 'clang::noinline' has higher precedence than function attribute 'always_inline'}}65 // expected-note@#BAZ 3{{conflicting attribute is here}}66 // expected-note@#BAZ_INST 3{{in instantiation}}67 // expected-note@+1 3{{in instantiation}}68 [[clang::noinline]] return non_dependent(x), baz<D-1>(x + 1);69 }70 return x;71}72 73// We can't suppress if there is a variadic involved.74template<int ... D>75int variadic_baz(int x) {76 // Diagnoses NO_DEP 2x, once during phase 1, the second during instantiation.77 // Dianoses DEP 3x, once per variadic expansion.78 // expected-warning@+5 2{{statement attribute 'clang::noinline' has higher precedence than function attribute 'always_inline'}}79 // expected-note@#NO_DEP 2{{conflicting attribute is here}}80 // expected-warning@+3 3{{statement attribute 'clang::noinline' has higher precedence than function attribute 'always_inline'}}81 // expected-note@#DEP 3{{conflicting attribute is here}}82 // expected-note@#VARIADIC_INST{{in instantiation}}83 [[clang::noinline]] return non_dependent(x) + (dependent<D>(x) + ...);84}85 86template<int D> [[clang::always_inline]]87int qux(int x) { // #QUX88 // expected-warning@+2{{statement attribute 'msvc::noinline' has higher precedence than function attribute 'always_inline'}}89 // expected-note@#NO_DEP{{conflicting attribute is here}}90 [[msvc::noinline]] non_dependent(x);91 if constexpr (D>0) {92 // expected-warning@+6{{statement attribute 'msvc::noinline' has higher precedence than function attribute 'always_inline'}}93 // expected-note@#NO_DEP{{conflicting attribute is here}}94 // expected-warning@+4 3{{statement attribute 'msvc::noinline' has higher precedence than function attribute 'always_inline'}}95 // expected-note@#QUX 3{{conflicting attribute is here}}96 // expected-note@#QUX_INST 3{{in instantiation}}97 // expected-note@+1 3{{in instantiation}}98 [[msvc::noinline]] return non_dependent(x), qux<D-1>(x + 1);99 }100 return x;101}102 103// We can't suppress if there is a variadic involved.104template<int ... D>105int variadic_qux(int x) {106 // Diagnoses NO_DEP 2x, once during phase 1, the second during instantiation.107 // Dianoses DEP 3x, once per variadic expansion.108 // expected-warning@+5 2{{statement attribute 'msvc::noinline' has higher precedence than function attribute 'always_inline'}}109 // expected-note@#NO_DEP 2{{conflicting attribute is here}}110 // expected-warning@+3 3{{statement attribute 'msvc::noinline' has higher precedence than function attribute 'always_inline'}}111 // expected-note@#DEP 3{{conflicting attribute is here}}112 // expected-note@#QUX_VARIADIC_INST{{in instantiation}}113 [[msvc::noinline]] return non_dependent(x) + (dependent<D>(x) + ...);114}115 116void use() {117 baz<3>(0); // #BAZ_INST118 variadic_baz<0, 1, 2>(0); // #VARIADIC_INST119 qux<3>(0); // #QUX_INST120 variadic_qux<0, 1, 2>(0); // #QUX_VARIADIC_INST121}122