blob: 16b3453fab26b74448ebfee9c56e231a5044468f [file] [log] [blame]
Manuel Klimekb91bee02015-10-22 11:31:44 +00001// RUN: %check_clang_tidy %s google-readability-casting %t
Alexander Kornienko276fc642014-06-29 22:19:53 +00002
3bool g() { return false; }
4
Alexander Kornienko50913722014-10-01 12:47:53 +00005enum Enum { Enum1 };
Alexander Kornienko73666162014-07-14 07:37:05 +00006struct X {};
7struct Y : public X {};
Alexander Kornienko276fc642014-06-29 22:19:53 +00008
Alexander Kornienko73666162014-07-14 07:37:05 +00009void f(int a, double b, const char *cpc, const void *cpv, X *pX) {
10 const char *cpc2 = (const char*)cpc;
Alexander Kornienko78070fb2015-01-29 15:17:13 +000011 // CHECK-MESSAGES: :[[@LINE-1]]:22: warning: redundant cast to the same type [google-readability-casting]
Alexander Kornienko73666162014-07-14 07:37:05 +000012 // CHECK-FIXES: const char *cpc2 = cpc;
13
Alexander Kornienko78070fb2015-01-29 15:17:13 +000014 typedef const char *Typedef1;
15 typedef const char *Typedef2;
16 Typedef1 t1;
17 (Typedef2)t1;
18 // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: possibly redundant cast between typedefs of the same type [google-readability-casting]
19 // CHECK-FIXES: {{^}} (Typedef2)t1;
20 (const char*)t1;
21 // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: possibly redundant cast {{.*}}
22 // CHECK-FIXES: {{^}} (const char*)t1;
23 (Typedef1)cpc;
24 // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: possibly redundant cast {{.*}}
25 // CHECK-FIXES: {{^}} (Typedef1)cpc;
26 (Typedef1)t1;
27 // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: redundant cast to the same type
28 // CHECK-FIXES: {{^}} t1;
29
Alexander Kornienko73666162014-07-14 07:37:05 +000030 char *pc = (char*)cpc;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000031 // CHECK-MESSAGES: :[[@LINE-1]]:14: warning: C-style casts are discouraged; use const_cast [google-readability-casting]
Alexander Kornienko50913722014-10-01 12:47:53 +000032 // CHECK-FIXES: char *pc = const_cast<char*>(cpc);
Alexander Kornienko73666162014-07-14 07:37:05 +000033
34 char *pc2 = (char*)(cpc + 33);
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000035 // CHECK-MESSAGES: :[[@LINE-1]]:15: warning: {{.*}}; use const_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000036 // CHECK-FIXES: char *pc2 = const_cast<char*>(cpc + 33);
Alexander Kornienko73666162014-07-14 07:37:05 +000037
38 const char &crc = *cpc;
39 char &rc = (char&)crc;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000040 // CHECK-MESSAGES: :[[@LINE-1]]:14: warning: {{.*}}; use const_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000041 // CHECK-FIXES: char &rc = const_cast<char&>(crc);
Alexander Kornienko73666162014-07-14 07:37:05 +000042
43 char &rc2 = (char&)*cpc;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000044 // CHECK-MESSAGES: :[[@LINE-1]]:15: warning: {{.*}}; use const_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000045 // CHECK-FIXES: char &rc2 = const_cast<char&>(*cpc);
Alexander Kornienko73666162014-07-14 07:37:05 +000046
47 char ** const* const* ppcpcpc;
48 char ****ppppc = (char****)ppcpcpc;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000049 // CHECK-MESSAGES: :[[@LINE-1]]:20: warning: {{.*}}; use const_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000050 // CHECK-FIXES: char ****ppppc = const_cast<char****>(ppcpcpc);
Alexander Kornienko73666162014-07-14 07:37:05 +000051
Alexander Kornienko1f317d62014-07-16 13:38:48 +000052 char ***pppc = (char***)*(ppcpcpc);
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000053 // CHECK-MESSAGES: :[[@LINE-1]]:18: warning: {{.*}}; use const_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000054 // CHECK-FIXES: char ***pppc = const_cast<char***>(*(ppcpcpc));
Alexander Kornienko1f317d62014-07-16 13:38:48 +000055
56 char ***pppc2 = (char***)(*ppcpcpc);
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000057 // CHECK-MESSAGES: :[[@LINE-1]]:19: warning: {{.*}}; use const_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000058 // CHECK-FIXES: char ***pppc2 = const_cast<char***>(*ppcpcpc);
Alexander Kornienko1f317d62014-07-16 13:38:48 +000059
60 char *pc5 = (char*)(const char*)(cpv);
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000061 // CHECK-MESSAGES: :[[@LINE-1]]:15: warning: {{.*}}; use const_cast {{.*}}
62 // CHECK-MESSAGES: :[[@LINE-2]]:22: warning: {{.*}}; use reinterpret_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000063 // CHECK-FIXES: char *pc5 = const_cast<char*>(reinterpret_cast<const char*>(cpv));
Alexander Kornienko1f317d62014-07-16 13:38:48 +000064
Alexander Kornienko73666162014-07-14 07:37:05 +000065 int b1 = (int)b;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000066 // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: {{.*}}; use static_cast {{.*}}
Alexander Kornienko73666162014-07-14 07:37:05 +000067 // CHECK-FIXES: int b1 = static_cast<int>(b);
68
69 Y *pB = (Y*)pX;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000070 // CHECK-MESSAGES: :[[@LINE-1]]:11: warning: {{.*}}; use static_cast/const_cast/reinterpret_cast {{.*}}
Alexander Kornienko73666162014-07-14 07:37:05 +000071 Y &rB = (Y&)*pX;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000072 // CHECK-MESSAGES: :[[@LINE-1]]:11: warning: {{.*}}; use static_cast/const_cast/reinterpret_cast {{.*}}
Alexander Kornienko73666162014-07-14 07:37:05 +000073
74 const char *pc3 = (const char*)cpv;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000075 // CHECK-MESSAGES: :[[@LINE-1]]:21: warning: {{.*}}; use reinterpret_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000076 // CHECK-FIXES: const char *pc3 = reinterpret_cast<const char*>(cpv);
Alexander Kornienko73666162014-07-14 07:37:05 +000077
78 char *pc4 = (char*)cpv;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000079 // CHECK-MESSAGES: :[[@LINE-1]]:15: warning: {{.*}}; use static_cast/const_cast/reinterpret_cast {{.*}}
Alexander Kornienko73666162014-07-14 07:37:05 +000080 // CHECK-FIXES: char *pc4 = (char*)cpv;
81
Alexander Kornienko50913722014-10-01 12:47:53 +000082 b1 = (int)Enum1;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000083 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: {{.*}}; use static_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000084 // CHECK-FIXES: b1 = static_cast<int>(Enum1);
85
86 Enum e = (Enum)b1;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +000087 // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: {{.*}}; use static_cast {{.*}}
Alexander Kornienko50913722014-10-01 12:47:53 +000088 // CHECK-FIXES: Enum e = static_cast<Enum>(b1);
89
Alexander Kornienko73666162014-07-14 07:37:05 +000090 // CHECK-MESSAGES-NOT: warning:
Alexander Kornienko276fc642014-06-29 22:19:53 +000091 int b2 = int(b);
92 int b3 = static_cast<double>(b);
93 int b4 = b;
94 double aa = a;
95 (void)b2;
96 return (void)g();
97}
98
Alexander Kornienko73666162014-07-14 07:37:05 +000099template <typename T>
100void template_function(T t, int n) {
101 int i = (int)t;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +0000102 // CHECK-MESSAGES: :[[@LINE-1]]:11: warning: {{.*}}; use static_cast/const_cast/reinterpret_cast {{.*}}
Alexander Kornienko73666162014-07-14 07:37:05 +0000103 // CHECK-FIXES: int i = (int)t;
104 int j = (int)n;
Alexander Kornienko78070fb2015-01-29 15:17:13 +0000105 // CHECK-MESSAGES: :[[@LINE-1]]:11: warning: redundant cast to the same type
Alexander Kornienko73666162014-07-14 07:37:05 +0000106 // CHECK-FIXES: int j = n;
107}
108
109template <typename T>
110struct TemplateStruct {
111 void f(T t, int n) {
112 int k = (int)t;
Alexander Kornienkob1b2f872016-01-08 15:21:40 +0000113 // CHECK-MESSAGES: :[[@LINE-1]]:13: warning: {{.*}}; use static_cast/const_cast/reinterpret_cast
Alexander Kornienko73666162014-07-14 07:37:05 +0000114 // CHECK-FIXES: int k = (int)t;
115 int l = (int)n;
Alexander Kornienko78070fb2015-01-29 15:17:13 +0000116 // CHECK-MESSAGES: :[[@LINE-1]]:13: warning: redundant cast to the same type
Alexander Kornienko73666162014-07-14 07:37:05 +0000117 // CHECK-FIXES: int l = n;
118 }
119};
120
121void test_templates() {
122 template_function(1, 42);
123 template_function(1.0, 42);
124 TemplateStruct<int>().f(1, 42);
125 TemplateStruct<double>().f(1.0, 42);
126}
127
Alexander Kornienko78070fb2015-01-29 15:17:13 +0000128extern "C" {
129void extern_c_code(const char *cpc) {
130 const char *cpc2 = (const char*)cpc;
131 // CHECK-MESSAGES: :[[@LINE-1]]:22: warning: redundant cast to the same type
132 // CHECK-FIXES: const char *cpc2 = cpc;
133 char *pc = (char*)cpc;
134}
135}
136
Alexander Kornienko73666162014-07-14 07:37:05 +0000137#define CAST(type, value) (type)(value)
138void macros(double d) {
139 int i = CAST(int, d);
Alexander Kornienko73666162014-07-14 07:37:05 +0000140}
141
Alexander Kornienko276fc642014-06-29 22:19:53 +0000142enum E { E1 = 1 };
143template <E e>
Alexander Kornienko73666162014-07-14 07:37:05 +0000144struct A {
145 // Usage of template argument e = E1 is represented as (E)1 in the AST for
146 // some reason. We have a special treatment of this case to avoid warnings
147 // here.
148 static const E ee = e;
149};
Alexander Kornienko276fc642014-06-29 22:19:53 +0000150struct B : public A<E1> {};