summaryrefslogtreecommitdiffstats
path: root/clang-tools-extra/test/clang-tidy/checkers/misc-misplaced-const.c
blob: cccf3a4506f9aadd75e9f2dac43026d8db971b32 (plain)
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
// RUN: %check_clang_tidy %s misc-misplaced-const %t

typedef int plain_i;
typedef int *ip;
typedef const int *cip;

typedef void (*func_ptr)(void);

void func(void) {
  // ok
  const int *i0 = 0;
  const plain_i *i1 = 0;
  const cip i2 = 0; // const applies to both pointer and pointee.

  // Not ok
  const ip i3 = 0;
  // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: 'i3' declared with a const-qualified typedef type; results in the type being 'int *const' instead of 'const int *'

  ip const i4 = 0;
  // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: 'i4' declared with a const-qualified

  const volatile ip i5 = 0;
  // CHECK-MESSAGES: :[[@LINE-1]]:21: warning: 'i5' declared with a const-qualified typedef type; results in the type being 'int *const volatile' instead of 'const int *volatile'
}

void func2(const plain_i *i1,
           const cip i2,
           const ip i3,
           // CHECK-MESSAGES: :[[@LINE-1]]:21: warning: 'i3' declared with a const-qualified
           const int *i4) {
}

struct S {
  const int *i0;
  const plain_i *i1;
  const cip i2;
  const ip i3;
  // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: 'i3' declared with a const-qualified
};

// Function pointers should not be diagnosed because a function
// pointer type can never be const.
void func3(const func_ptr fp) {
  const func_ptr fp2 = fp;
}
OpenPOWER on IntegriCloud