xref: /llvm-project/clang-tools-extra/test/clang-tidy/checkers/misc/non-copyable-objects.cpp (revision 89a1d03e2b379e325daa5249411e414bbd995b5e)
1*89a1d03eSRichard // RUN: %check_clang_tidy %s misc-non-copyable-objects %t
2*89a1d03eSRichard 
3*89a1d03eSRichard namespace std {
4*89a1d03eSRichard typedef struct FILE {} FILE;
5*89a1d03eSRichard }
6*89a1d03eSRichard using namespace std;
7*89a1d03eSRichard 
8*89a1d03eSRichard // CHECK-MESSAGES: :[[@LINE+1]]:18: warning: 'f' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'? [misc-non-copyable-objects]
9*89a1d03eSRichard void g(std::FILE f);
10*89a1d03eSRichard 
11*89a1d03eSRichard struct S {
12*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:10: warning: 'f' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
13*89a1d03eSRichard   ::FILE f;
14*89a1d03eSRichard };
15*89a1d03eSRichard 
func(FILE * f)16*89a1d03eSRichard void func(FILE *f) {
17*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:13: warning: 'f1' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
18*89a1d03eSRichard   std::FILE f1; // match
19*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+2]]:10: warning: 'f2' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
20*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:15: warning: expression has opaque data structure type 'FILE'; type should only be used as a pointer and not dereferenced
21*89a1d03eSRichard   ::FILE f2 = *f; // match, match
22*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE+1]]:15: warning: 'f3' declared as type 'FILE', which is unsafe to copy; did you mean 'FILE *'?
23*89a1d03eSRichard   struct FILE f3; // match
24*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
25*89a1d03eSRichard   (void)sizeof(*f); // match
26*89a1d03eSRichard }
27