blob: bfe8887bd3d32f55be37dce57119f10ca157a93a [file] [log] [blame]
Daniel Dunbard7d5f022009-03-24 02:24:46 +00001// RUN: clang-cc -fsyntax-only -verify %s
Douglas Gregor2f639b92008-10-24 15:36:09 +00002
Sean Huntf1cd5e52009-11-22 07:05:50 +00003#include <stdint.h>
4
Douglas Gregor2f639b92008-10-24 15:36:09 +00005enum test { testval = 1 };
6struct structure { int m; };
7typedef void (*fnptr)();
8
9// Test the conversion to self.
10void self_conversion()
11{
12 // T*->T* is allowed, T->T in general not.
13 int i = 0;
14 (void)reinterpret_cast<int>(i); // expected-error {{reinterpret_cast from 'int' to 'int' is not allowed}}
15 structure s;
16 (void)reinterpret_cast<structure>(s); // expected-error {{reinterpret_cast from 'struct structure' to 'struct structure' is not allowed}}
17 int *pi = 0;
18 (void)reinterpret_cast<int*>(pi);
19}
20
21// Test conversion between pointer and integral types, as in /3 and /4.
22void integral_conversion()
23{
24 void *vp = reinterpret_cast<void*>(testval);
Sean Huntf1cd5e52009-11-22 07:05:50 +000025 intptr_t i = reinterpret_cast<intptr_t>(vp);
26 (void)reinterpret_cast<float*>(i);
27 fnptr fnp = reinterpret_cast<fnptr>(i);
Douglas Gregor2f639b92008-10-24 15:36:09 +000028 (void)reinterpret_cast<char>(fnp); // expected-error {{cast from pointer to smaller type 'char' loses information}}
Sean Huntf1cd5e52009-11-22 07:05:50 +000029 (void)reinterpret_cast<intptr_t>(fnp);
Douglas Gregor2f639b92008-10-24 15:36:09 +000030}
31
32void pointer_conversion()
33{
34 int *p1 = 0;
35 float *p2 = reinterpret_cast<float*>(p1);
36 structure *p3 = reinterpret_cast<structure*>(p2);
37 typedef int **ppint;
38 ppint *deep = reinterpret_cast<ppint*>(p3);
39 (void)reinterpret_cast<fnptr*>(deep);
40}
41
42void constness()
43{
44 int ***const ipppc = 0;
45 // Valid: T1* -> T2 const*
46 int const *icp = reinterpret_cast<int const*>(ipppc);
47 // Invalid: T1 const* -> T2*
48 (void)reinterpret_cast<int*>(icp); // expected-error {{reinterpret_cast from 'int const *' to 'int *' casts away constness}}
49 // Invalid: T1*** -> T2 const* const**
50 int const *const **icpcpp = reinterpret_cast<int const* const**>(ipppc); // expected-error {{reinterpret_cast from 'int ***const' to 'int const *const **' casts away constness}}
51 // Valid: T1* -> T2*
52 int *ip = reinterpret_cast<int*>(icpcpp);
53 // Valid: T* -> T const*
54 (void)reinterpret_cast<int const*>(ip);
55 // Valid: T*** -> T2 const* const* const*
56 (void)reinterpret_cast<int const* const* const*>(ipppc);
57}
58
59void fnptrs()
60{
61 typedef int (*fnptr2)(int);
62 fnptr fp = 0;
63 (void)reinterpret_cast<fnptr2>(fp);
64 void *vp = reinterpret_cast<void*>(fp);
65 (void)reinterpret_cast<fnptr>(vp);
66}
67
68void refs()
69{
70 long l = 0;
71 char &c = reinterpret_cast<char&>(l);
72 // Bad: from rvalue
73 (void)reinterpret_cast<int&>(&c); // expected-error {{reinterpret_cast from rvalue to reference type 'int &'}}
74}
Sebastian Redldb647282009-01-27 23:18:31 +000075
76void memptrs()
77{
78 const int structure::*psi = 0;
79 (void)reinterpret_cast<const float structure::*>(psi);
80 (void)reinterpret_cast<int structure::*>(psi); // expected-error {{reinterpret_cast from 'int const struct structure::*' to 'int struct structure::*' casts away constness}}
81
82 void (structure::*psf)() = 0;
83 (void)reinterpret_cast<int (structure::*)()>(psf);
84
Argyrios Kyrtzidis7c94c4b2009-06-03 02:06:50 +000085 (void)reinterpret_cast<void (structure::*)()>(psi); // expected-error {{reinterpret_cast from 'int const struct structure::*' to 'void (struct structure::*)()' is not allowed}}
86 (void)reinterpret_cast<int structure::*>(psf); // expected-error {{reinterpret_cast from 'void (struct structure::*)()' to 'int struct structure::*' is not allowed}}
Sebastian Redldb647282009-01-27 23:18:31 +000087
88 // Cannot cast from integers to member pointers, not even the null pointer
89 // literal.
Argyrios Kyrtzidis7c94c4b2009-06-03 02:06:50 +000090 (void)reinterpret_cast<void (structure::*)()>(0); // expected-error {{reinterpret_cast from 'int' to 'void (struct structure::*)()' is not allowed}}
Sebastian Redldb647282009-01-27 23:18:31 +000091 (void)reinterpret_cast<int structure::*>(0); // expected-error {{reinterpret_cast from 'int' to 'int struct structure::*' is not allowed}}
92}
Sebastian Redl76d69bb2009-11-18 18:10:53 +000093
94// PR5545
95class A;
96class B;
97void (A::*a)();
98void (B::*b)() = reinterpret_cast<void (B::*)()>(a);