xref: /llvm-project/clang-tools-extra/test/clang-tidy/checkers/misc/non-copyable-objects.c (revision 89a1d03e2b379e325daa5249411e414bbd995b5e)
1*89a1d03eSRichard // RUN: %check_clang_tidy %s misc-non-copyable-objects %t
2*89a1d03eSRichard 
3*89a1d03eSRichard typedef struct FILE {} FILE;
4*89a1d03eSRichard typedef struct pthread_cond_t {} pthread_cond_t;
5*89a1d03eSRichard typedef int pthread_mutex_t;
6*89a1d03eSRichard 
7*89a1d03eSRichard // CHECK-MESSAGES: :[[@LINE+1]]:13: warning: 'f' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'? [misc-non-copyable-objects]
8*89a1d03eSRichard void g(FILE f);
9*89a1d03eSRichard // CHECK-MESSAGES: :[[@LINE+1]]:24: warning: 'm' declared as type 'pthread_mutex_t', which is unsafe to copy; did you mean 'pthread_mutex_t *'?
10*89a1d03eSRichard void h(pthread_mutex_t m);
11*89a1d03eSRichard // CHECK-MESSAGES: :[[@LINE+1]]:23: warning: 'c' declared as type 'pthread_cond_t', which is unsafe to copy; did you mean 'pthread_cond_t *'?
12*89a1d03eSRichard void i(pthread_cond_t c);
13*89a1d03eSRichard 
14*89a1d03eSRichard struct S {
15*89a1d03eSRichard   pthread_cond_t c; // ok
16*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:8: warning: 'f' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
17*89a1d03eSRichard   FILE f;
18*89a1d03eSRichard };
19*89a1d03eSRichard 
func(FILE * f)20*89a1d03eSRichard void func(FILE *f) {
21*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:8: warning: 'f1' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
22*89a1d03eSRichard   FILE f1; // match
23*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+2]]:8: warning: 'f2' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
24*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:13: warning: expression has opaque data structure type 'FILE'; type should only be used as a pointer and not dereferenced
25*89a1d03eSRichard   FILE f2 = *f;
26*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:15: warning: 'f3' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
27*89a1d03eSRichard   struct FILE f3;
28*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:16: warning: expression has opaque data structure type 'FILE'; type should only be used as a pointer and not dereferenced
29*89a1d03eSRichard   (void)sizeof(*f);
30*89a1d03eSRichard   (void)sizeof(FILE);
31*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:5: warning: expression has opaque data structure type 'FILE'; type should only be used as a pointer and not dereferenced
32*89a1d03eSRichard   g(*f);
33*89a1d03eSRichard 
34*89a1d03eSRichard   pthread_mutex_t m; // ok
35*89a1d03eSRichard   h(m); // ok
36*89a1d03eSRichard 
37*89a1d03eSRichard   pthread_cond_t c; // ok
38*89a1d03eSRichard   i(c); // ok
39*89a1d03eSRichard 
40*89a1d03eSRichard   pthread_mutex_t *m1 = &m; // ok
41*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:5: warning: expression has opaque data structure type 'pthread_mutex_t'; type should only be used as a pointer and not dereferenced
42*89a1d03eSRichard   h(*m1);
43*89a1d03eSRichard }
44