clang/test/Sema/attr-decl-after-definition-std.c


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

// RUN: %clang_cc1 -fsyntax-only -Wignored-attributes -verify -std=c23 %s
// RUN: %clang_cc1 -fsyntax-only -Wignored-attributes -verify -x c++ %s
// RUN: %clang_cc1 -fsyntax-only -ast-dump %s | FileCheck %s

inline int frob(int x) { return x; }

[[deprecated]] int frob(int); // expected-note 2 {{'frob' has been explicitly marked deprecated here}}

void use1() {
  // Using this should give a deprecation warning, but not a nodiscard warning.	
  frob(0); // expected-warning {{'frob' is deprecated}}
}

[[nodiscard]] int frob(int);

void use2() {
  // This should give both warnings.
  frob(0); // expected-warning {{'frob' is deprecated}} \
              expected-warning {{ignoring return value of function declared with 'nodiscard' attribute}}
}

[[maybe_unused]] int frob(int);

// Currently, this is only allowed for the standard spelling of the attributes.
void blob() {}                           // expected-note {{previous definition is here}}
__attribute__((deprecated)) void blob(); // expected-warning {{attribute declaration must precede definition}}

// CHECK: FunctionDecl {{.*}} frob

// CHECK: FunctionDecl {{.*}} prev {{.*}} frob
// CHECK:  DeprecatedAttr

// CHECK: FunctionDecl {{.*}} prev {{.*}} frob
// CHECK:  DeprecatedAttr
// CHECK:  WarnUnusedResultAttr

// CHECK: FunctionDecl {{.*}} prev {{.*}} frob
// CHECK:  DeprecatedAttr
// CHECK:  WarnUnusedResultAttr
// CHECK:  UnusedAttr