2012-05-24 08:47:05 +08:00
// RUN: %clang_cc1 -fsyntax-only -verify -ffreestanding -Wundefined-reinterpret-cast -Wno-unused-volatile-lvalue %s
2008-10-24 23:36:09 +08:00
2009-11-22 15:05:50 +08:00
# include <stdint.h>
2008-10-24 23:36:09 +08:00
enum test { testval = 1 } ;
struct structure { int m ; } ;
typedef void ( * fnptr ) ( ) ;
// Test the conversion to self.
void self_conversion ( )
{
2012-02-03 10:54:37 +08:00
// T->T is allowed per [expr.reinterpret.cast]p2 so long as it doesn't
// cast away constness, and is integral, enumeration, pointer or
// pointer-to-member.
2008-10-24 23:36:09 +08:00
int i = 0 ;
2012-02-03 10:54:37 +08:00
( void ) reinterpret_cast < int > ( i ) ;
test e = testval ;
( void ) reinterpret_cast < test > ( e ) ;
// T*->T* is allowed
2008-10-24 23:36:09 +08:00
int * pi = 0 ;
( void ) reinterpret_cast < int * > ( pi ) ;
2012-02-03 10:54:37 +08:00
const int structure : : * psi = 0 ;
( void ) reinterpret_cast < const int structure : : * > ( psi ) ;
structure s ;
( void ) reinterpret_cast < structure > ( s ) ; // expected-error {{reinterpret_cast from 'structure' to 'structure' is not allowed}}
float f = 0.0f ;
( void ) reinterpret_cast < float > ( f ) ; // expected-error {{reinterpret_cast from 'float' to 'float' is not allowed}}
2008-10-24 23:36:09 +08:00
}
// Test conversion between pointer and integral types, as in /3 and /4.
void integral_conversion ( )
{
void * vp = reinterpret_cast < void * > ( testval ) ;
2009-11-22 15:05:50 +08:00
intptr_t i = reinterpret_cast < intptr_t > ( vp ) ;
( void ) reinterpret_cast < float * > ( i ) ;
fnptr fnp = reinterpret_cast < fnptr > ( i ) ;
2008-10-24 23:36:09 +08:00
( void ) reinterpret_cast < char > ( fnp ) ; // expected-error {{cast from pointer to smaller type 'char' loses information}}
2009-11-22 15:05:50 +08:00
( void ) reinterpret_cast < intptr_t > ( fnp ) ;
2008-10-24 23:36:09 +08:00
}
void pointer_conversion ( )
{
int * p1 = 0 ;
float * p2 = reinterpret_cast < float * > ( p1 ) ;
structure * p3 = reinterpret_cast < structure * > ( p2 ) ;
typedef int * * ppint ;
ppint * deep = reinterpret_cast < ppint * > ( p3 ) ;
( void ) reinterpret_cast < fnptr * > ( deep ) ;
}
void constness ( )
{
int * * * const ipppc = 0 ;
// Valid: T1* -> T2 const*
int const * icp = reinterpret_cast < int const * > ( ipppc ) ;
// Invalid: T1 const* -> T2*
Implement appropriate semantics for C++ casting and conversion when
dealing with address-space- and GC-qualified pointers. Previously,
these qualifiers were being treated just like cvr-qualifiers (in some
cases) or were completely ignored, leading to uneven behavior. For
example, const_cast would allow conversion between pointers to
different address spaces.
The new semantics are fairly simple: reinterpret_cast can be used to
explicitly cast between pointers to different address spaces
(including adding/removing addresss spaces), while
static_cast/dynamic_cast/const_cast do not tolerate any changes in the
address space. C-style casts can add/remove/change address spaces
through the reinterpret_cast mechanism. Other non-CVR qualifiers
(e.g., Objective-C GC qualifiers) work similarly.
As part of this change, I tweaked the "casts away constness"
diagnostic to use the term "casts away qualifiers". The term
"constness" actually comes from the C++ standard, despite the fact
that removing "volatile" also falls under that category. In Clang, we
also have restrict, address spaces, ObjC GC attributes, etc., so the
more general "qualifiers" is clearer.
llvm-svn: 129583
2011-04-16 01:59:54 +08:00
( void ) reinterpret_cast < int * > ( icp ) ; // expected-error {{reinterpret_cast from 'const int *' to 'int *' casts away qualifiers}}
2008-10-24 23:36:09 +08:00
// Invalid: T1*** -> T2 const* const**
Implement appropriate semantics for C++ casting and conversion when
dealing with address-space- and GC-qualified pointers. Previously,
these qualifiers were being treated just like cvr-qualifiers (in some
cases) or were completely ignored, leading to uneven behavior. For
example, const_cast would allow conversion between pointers to
different address spaces.
The new semantics are fairly simple: reinterpret_cast can be used to
explicitly cast between pointers to different address spaces
(including adding/removing addresss spaces), while
static_cast/dynamic_cast/const_cast do not tolerate any changes in the
address space. C-style casts can add/remove/change address spaces
through the reinterpret_cast mechanism. Other non-CVR qualifiers
(e.g., Objective-C GC qualifiers) work similarly.
As part of this change, I tweaked the "casts away constness"
diagnostic to use the term "casts away qualifiers". The term
"constness" actually comes from the C++ standard, despite the fact
that removing "volatile" also falls under that category. In Clang, we
also have restrict, address spaces, ObjC GC attributes, etc., so the
more general "qualifiers" is clearer.
llvm-svn: 129583
2011-04-16 01:59:54 +08:00
int const * const * * icpcpp = reinterpret_cast < int const * const * * > ( ipppc ) ; // expected-error {{reinterpret_cast from 'int ***' to 'const int *const **' casts away qualifiers}}
2008-10-24 23:36:09 +08:00
// Valid: T1* -> T2*
int * ip = reinterpret_cast < int * > ( icpcpp ) ;
// Valid: T* -> T const*
( void ) reinterpret_cast < int const * > ( ip ) ;
// Valid: T*** -> T2 const* const* const*
( void ) reinterpret_cast < int const * const * const * > ( ipppc ) ;
}
void fnptrs ( )
{
typedef int ( * fnptr2 ) ( int ) ;
fnptr fp = 0 ;
( void ) reinterpret_cast < fnptr2 > ( fp ) ;
void * vp = reinterpret_cast < void * > ( fp ) ;
( void ) reinterpret_cast < fnptr > ( vp ) ;
}
void refs ( )
{
long l = 0 ;
char & c = reinterpret_cast < char & > ( l ) ;
// Bad: from rvalue
( void ) reinterpret_cast < int & > ( & c ) ; // expected-error {{reinterpret_cast from rvalue to reference type 'int &'}}
}
2009-01-28 07:18:31 +08:00
void memptrs ( )
{
const int structure : : * psi = 0 ;
( void ) reinterpret_cast < const float structure : : * > ( psi ) ;
Implement appropriate semantics for C++ casting and conversion when
dealing with address-space- and GC-qualified pointers. Previously,
these qualifiers were being treated just like cvr-qualifiers (in some
cases) or were completely ignored, leading to uneven behavior. For
example, const_cast would allow conversion between pointers to
different address spaces.
The new semantics are fairly simple: reinterpret_cast can be used to
explicitly cast between pointers to different address spaces
(including adding/removing addresss spaces), while
static_cast/dynamic_cast/const_cast do not tolerate any changes in the
address space. C-style casts can add/remove/change address spaces
through the reinterpret_cast mechanism. Other non-CVR qualifiers
(e.g., Objective-C GC qualifiers) work similarly.
As part of this change, I tweaked the "casts away constness"
diagnostic to use the term "casts away qualifiers". The term
"constness" actually comes from the C++ standard, despite the fact
that removing "volatile" also falls under that category. In Clang, we
also have restrict, address spaces, ObjC GC attributes, etc., so the
more general "qualifiers" is clearer.
llvm-svn: 129583
2011-04-16 01:59:54 +08:00
( void ) reinterpret_cast < int structure : : * > ( psi ) ; // expected-error {{reinterpret_cast from 'const int structure::*' to 'int structure::*' casts away qualifiers}}
2009-01-28 07:18:31 +08:00
void ( structure : : * psf ) ( ) = 0 ;
( void ) reinterpret_cast < int ( structure : : * ) ( ) > ( psf ) ;
2010-09-05 08:04:01 +08:00
( void ) reinterpret_cast < void ( structure : : * ) ( ) > ( psi ) ; // expected-error {{reinterpret_cast from 'const int structure::*' to 'void (structure::*)()' is not allowed}}
2010-03-10 19:27:22 +08:00
( void ) reinterpret_cast < int structure : : * > ( psf ) ; // expected-error {{reinterpret_cast from 'void (structure::*)()' to 'int structure::*' is not allowed}}
2009-01-28 07:18:31 +08:00
// Cannot cast from integers to member pointers, not even the null pointer
// literal.
2010-03-10 19:27:22 +08:00
( void ) reinterpret_cast < void ( structure : : * ) ( ) > ( 0 ) ; // expected-error {{reinterpret_cast from 'int' to 'void (structure::*)()' is not allowed}}
( void ) reinterpret_cast < int structure : : * > ( 0 ) ; // expected-error {{reinterpret_cast from 'int' to 'int structure::*' is not allowed}}
2009-01-28 07:18:31 +08:00
}
2009-11-19 02:10:53 +08:00
2010-06-05 06:47:55 +08:00
namespace PR5545 {
2009-11-19 02:10:53 +08:00
// PR5545
class A ;
class B ;
void ( A : : * a ) ( ) ;
void ( B : : * b ) ( ) = reinterpret_cast < void ( B : : * ) ( ) > ( a ) ;
2010-06-05 06:47:55 +08:00
}
// <rdar://problem/8018292>
void const_arrays ( ) {
typedef char STRING [ 10 ] ;
const STRING * s ;
const char * c ;
Implement appropriate semantics for C++ casting and conversion when
dealing with address-space- and GC-qualified pointers. Previously,
these qualifiers were being treated just like cvr-qualifiers (in some
cases) or were completely ignored, leading to uneven behavior. For
example, const_cast would allow conversion between pointers to
different address spaces.
The new semantics are fairly simple: reinterpret_cast can be used to
explicitly cast between pointers to different address spaces
(including adding/removing addresss spaces), while
static_cast/dynamic_cast/const_cast do not tolerate any changes in the
address space. C-style casts can add/remove/change address spaces
through the reinterpret_cast mechanism. Other non-CVR qualifiers
(e.g., Objective-C GC qualifiers) work similarly.
As part of this change, I tweaked the "casts away constness"
diagnostic to use the term "casts away qualifiers". The term
"constness" actually comes from the C++ standard, despite the fact
that removing "volatile" also falls under that category. In Clang, we
also have restrict, address spaces, ObjC GC attributes, etc., so the
more general "qualifiers" is clearer.
llvm-svn: 129583
2011-04-16 01:59:54 +08:00
( void ) reinterpret_cast < char * > ( s ) ; // expected-error {{reinterpret_cast from 'const STRING *' (aka 'char const (*)[10]') to 'char *' casts away qualifiers}}
2010-06-05 06:47:55 +08:00
( void ) reinterpret_cast < const STRING * > ( c ) ;
}
2011-04-23 06:31:13 +08:00
namespace PR9564 {
struct a { int a : 10 ; } ; a x ;
2011-04-23 07:57:57 +08:00
int * y = & reinterpret_cast < int & > ( x . a ) ; // expected-error {{not allowed}}
__attribute ( ( ext_vector_type ( 4 ) ) ) typedef float v4 ;
float & w ( v4 & a ) { return reinterpret_cast < float & > ( a [ 1 ] ) ; } // expected-error {{not allowed}}
2011-04-23 06:31:13 +08:00
}
2011-05-03 02:21:19 +08:00
void dereference_reinterpret_cast ( ) {
struct A { } ;
2011-05-24 15:43:19 +08:00
typedef A A2 ;
2011-05-03 02:21:19 +08:00
class B { } ;
2011-05-24 15:43:19 +08:00
typedef B B2 ;
2011-05-03 02:21:19 +08:00
A a ;
B b ;
2011-05-24 15:43:19 +08:00
A2 a2 ;
B2 b2 ;
2011-05-03 02:21:19 +08:00
long l ;
double d ;
float f ;
char c ;
unsigned char uc ;
void * v_ptr ;
( void ) reinterpret_cast < double & > ( l ) ; // expected-warning {{reinterpret_cast from 'long' to 'double &' has undefined behavior}}
( void ) * reinterpret_cast < double * > ( & l ) ; // expected-warning {{dereference of type 'double *' that was reinterpret_cast from type 'long *' has undefined behavior}}
( void ) reinterpret_cast < double & > ( f ) ; // expected-warning {{reinterpret_cast from 'float' to 'double &' has undefined behavior}}
( void ) * reinterpret_cast < double * > ( & f ) ; // expected-warning {{dereference of type 'double *' that was reinterpret_cast from type 'float *' has undefined behavior}}
( void ) reinterpret_cast < float & > ( l ) ; // expected-warning {{reinterpret_cast from 'long' to 'float &' has undefined behavior}}
( void ) * reinterpret_cast < float * > ( & l ) ; // expected-warning {{dereference of type 'float *' that was reinterpret_cast from type 'long *' has undefined behavior}}
( void ) reinterpret_cast < float & > ( d ) ; // expected-warning {{reinterpret_cast from 'double' to 'float &' has undefined behavior}}
( void ) * reinterpret_cast < float * > ( & d ) ; // expected-warning {{dereference of type 'float *' that was reinterpret_cast from type 'double *' has undefined behavior}}
// TODO: add warning for tag types
( void ) reinterpret_cast < A & > ( b ) ;
( void ) * reinterpret_cast < A * > ( & b ) ;
( void ) reinterpret_cast < B & > ( a ) ;
( void ) * reinterpret_cast < B * > ( & a ) ;
2011-05-24 15:43:19 +08:00
( void ) reinterpret_cast < A2 & > ( b2 ) ;
( void ) * reinterpret_cast < A2 * > ( & b2 ) ;
( void ) reinterpret_cast < B2 & > ( a2 ) ;
( void ) * reinterpret_cast < B2 * > ( & a2 ) ;
2011-05-03 02:21:19 +08:00
// Casting to itself is allowed
( void ) reinterpret_cast < A & > ( a ) ;
( void ) * reinterpret_cast < A * > ( & a ) ;
( void ) reinterpret_cast < B & > ( b ) ;
( void ) * reinterpret_cast < B * > ( & b ) ;
( void ) reinterpret_cast < long & > ( l ) ;
( void ) * reinterpret_cast < long * > ( & l ) ;
( void ) reinterpret_cast < double & > ( d ) ;
( void ) * reinterpret_cast < double * > ( & d ) ;
( void ) reinterpret_cast < char & > ( c ) ;
( void ) * reinterpret_cast < char * > ( & c ) ;
// Casting to and from chars are allowable
( void ) reinterpret_cast < A & > ( c ) ;
( void ) * reinterpret_cast < A * > ( & c ) ;
( void ) reinterpret_cast < B & > ( c ) ;
( void ) * reinterpret_cast < B * > ( & c ) ;
( void ) reinterpret_cast < long & > ( c ) ;
( void ) * reinterpret_cast < long * > ( & c ) ;
( void ) reinterpret_cast < double & > ( c ) ;
( void ) * reinterpret_cast < double * > ( & c ) ;
( void ) reinterpret_cast < char & > ( l ) ;
( void ) * reinterpret_cast < char * > ( & l ) ;
( void ) reinterpret_cast < char & > ( d ) ;
( void ) * reinterpret_cast < char * > ( & d ) ;
( void ) reinterpret_cast < char & > ( f ) ;
( void ) * reinterpret_cast < char * > ( & f ) ;
// Casting from void pointer.
( void ) * reinterpret_cast < A * > ( v_ptr ) ;
( void ) * reinterpret_cast < B * > ( v_ptr ) ;
( void ) * reinterpret_cast < long * > ( v_ptr ) ;
( void ) * reinterpret_cast < double * > ( v_ptr ) ;
( void ) * reinterpret_cast < float * > ( v_ptr ) ;
// Casting to void pointer
( void ) * reinterpret_cast < void * > ( & a ) ;
( void ) * reinterpret_cast < void * > ( & b ) ;
( void ) * reinterpret_cast < void * > ( & l ) ;
( void ) * reinterpret_cast < void * > ( & d ) ;
( void ) * reinterpret_cast < void * > ( & f ) ;
}
void reinterpret_cast_whitelist ( ) {
// the dynamic type of the object
int a ;
float b ;
( void ) reinterpret_cast < int & > ( a ) ;
( void ) * reinterpret_cast < int * > ( & a ) ;
( void ) reinterpret_cast < float & > ( b ) ;
( void ) * reinterpret_cast < float * > ( & b ) ;
// a cv-qualified version of the dynamic object
( void ) reinterpret_cast < const int & > ( a ) ;
( void ) * reinterpret_cast < const int * > ( & a ) ;
( void ) reinterpret_cast < volatile int & > ( a ) ;
( void ) * reinterpret_cast < volatile int * > ( & a ) ;
( void ) reinterpret_cast < const volatile int & > ( a ) ;
( void ) * reinterpret_cast < const volatile int * > ( & a ) ;
( void ) reinterpret_cast < const float & > ( b ) ;
( void ) * reinterpret_cast < const float * > ( & b ) ;
( void ) reinterpret_cast < volatile float & > ( b ) ;
( void ) * reinterpret_cast < volatile float * > ( & b ) ;
( void ) reinterpret_cast < const volatile float & > ( b ) ;
( void ) * reinterpret_cast < const volatile float * > ( & b ) ;
// a type that is the signed or unsigned type corresponding to the dynamic
// type of the object
signed d ;
unsigned e ;
( void ) reinterpret_cast < signed & > ( d ) ;
( void ) * reinterpret_cast < signed * > ( & d ) ;
( void ) reinterpret_cast < signed & > ( e ) ;
( void ) * reinterpret_cast < signed * > ( & e ) ;
( void ) reinterpret_cast < unsigned & > ( d ) ;
( void ) * reinterpret_cast < unsigned * > ( & d ) ;
( void ) reinterpret_cast < unsigned & > ( e ) ;
( void ) * reinterpret_cast < unsigned * > ( & e ) ;
// a type that is the signed or unsigned type corresponding a cv-qualified
// version of the dynamic type the object
( void ) reinterpret_cast < const signed & > ( d ) ;
( void ) * reinterpret_cast < const signed * > ( & d ) ;
( void ) reinterpret_cast < const signed & > ( e ) ;
( void ) * reinterpret_cast < const signed * > ( & e ) ;
( void ) reinterpret_cast < const unsigned & > ( d ) ;
( void ) * reinterpret_cast < const unsigned * > ( & d ) ;
( void ) reinterpret_cast < const unsigned & > ( e ) ;
( void ) * reinterpret_cast < const unsigned * > ( & e ) ;
( void ) reinterpret_cast < volatile signed & > ( d ) ;
( void ) * reinterpret_cast < volatile signed * > ( & d ) ;
( void ) reinterpret_cast < volatile signed & > ( e ) ;
( void ) * reinterpret_cast < volatile signed * > ( & e ) ;
( void ) reinterpret_cast < volatile unsigned & > ( d ) ;
( void ) * reinterpret_cast < volatile unsigned * > ( & d ) ;
( void ) reinterpret_cast < volatile unsigned & > ( e ) ;
( void ) * reinterpret_cast < volatile unsigned * > ( & e ) ;
( void ) reinterpret_cast < const volatile signed & > ( d ) ;
( void ) * reinterpret_cast < const volatile signed * > ( & d ) ;
( void ) reinterpret_cast < const volatile signed & > ( e ) ;
( void ) * reinterpret_cast < const volatile signed * > ( & e ) ;
( void ) reinterpret_cast < const volatile unsigned & > ( d ) ;
( void ) * reinterpret_cast < const volatile unsigned * > ( & d ) ;
( void ) reinterpret_cast < const volatile unsigned & > ( e ) ;
( void ) * reinterpret_cast < const volatile unsigned * > ( & e ) ;
// an aggregate or union type that includes one of the aforementioned types
// among its members (including, recursively, a member of a subaggregate or
// contained union)
// TODO: checking is not implemented for tag types
// a type that is a (possible cv-qualified) base class type of the dynamic
// type of the object
// TODO: checking is not implemented for tag types
// a char or unsigned char type
( void ) reinterpret_cast < char & > ( a ) ;
( void ) * reinterpret_cast < char * > ( & a ) ;
( void ) reinterpret_cast < unsigned char & > ( a ) ;
( void ) * reinterpret_cast < unsigned char * > ( & a ) ;
( void ) reinterpret_cast < char & > ( b ) ;
( void ) * reinterpret_cast < char * > ( & b ) ;
( void ) reinterpret_cast < unsigned char & > ( b ) ;
( void ) * reinterpret_cast < unsigned char * > ( & b ) ;
}