cxx-casting.cpp revision 950be71c745409e373ae8a834490f9026c8ac222
1ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith// RUN: %clang_cc1 -fsyntax-only -verify %s 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerchar *const_cast_test(const char *var) 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer{ 55f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return const_cast<char*>(var); 65f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerstruct A { 95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~A() {} 105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerstruct B : public A { 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerstruct B *dynamic_cast_test(struct A *a) 165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer{ 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return dynamic_cast<struct B*>(a); 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerchar *reinterpret_cast_test() 215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer{ 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return reinterpret_cast<char*>(0xdeadbeef); 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerdouble static_cast_test(int i) 265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer{ 275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return static_cast<double>(i); 285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 29b348b810e788c6c16129d99b99408a06e4639e0cArgyrios Kyrtzidis 30b348b810e788c6c16129d99b99408a06e4639e0cArgyrios Kyrtzidischar postfix_expr_test() 31b348b810e788c6c16129d99b99408a06e4639e0cArgyrios Kyrtzidis{ 32b348b810e788c6c16129d99b99408a06e4639e0cArgyrios Kyrtzidis return reinterpret_cast<char*>(0xdeadbeef)[0]; 33d7d5f0223bd30dfd618762349c6209dd1d5ea3e6Daniel Dunbar} 3451e2a5d45d321c53355fe038b3a3e7a2f502afa4John McCall 3551e2a5d45d321c53355fe038b3a3e7a2f502afa4John McCall// This was being incorrectly tentatively parsed. 3651e2a5d45d321c53355fe038b3a3e7a2f502afa4John McCallnamespace test1 { 37ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith template <class T> class A {}; // expected-note 2{{here}} 3851e2a5d45d321c53355fe038b3a3e7a2f502afa4John McCall void foo() { A<int>(*(A<int>*)0); } 3951e2a5d45d321c53355fe038b3a3e7a2f502afa4John McCall} 40ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith 41ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smithtypedef char* c; 42ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smithtypedef A* a; 43ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smithvoid test2(char x, struct B * b) { 44ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)const_cast<::c>(&x); // expected-error{{found '<::' after a const_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 45ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)dynamic_cast<::a>(b); // expected-error{{found '<::' after a dynamic_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 46ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)reinterpret_cast<::c>(x); // expected-error{{found '<::' after a reinterpret_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 47ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)static_cast<::c>(&x); // expected-error{{found '<::' after a static_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 48ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith 49ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith // Do not do digraph correction. 50ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)static_cast<: :c>(&x); //\ 51ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith expected-error {{expected '<' after 'static_cast'}} \ 52ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith expected-error {{expected expression}}\ 53ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith expected-error {{expected ']'}}\ 54ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith expected-note {{to match this '['}} 55ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)static_cast<: // expected-error {{expected '<' after 'static_cast'}} \ 56ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith expected-note {{to match this '['}} 57ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith :c>(&x); // expected-error {{expected expression}} \ 58ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith expected-error {{expected ']'}} 59ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith#define LC <: 60ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith#define C : 61ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith test1::A LC:B> c; // expected-error {{cannot refer to class template 'A' without a template argument list}} expected-error 2{{}} expected-note{{}} 62ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)static_cast LC:c>(&x); // expected-error {{expected '<' after 'static_cast'}} expected-error 2{{}} expected-note{{}} 63ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith test1::A<:C B> d; // expected-error {{cannot refer to class template 'A' without a template argument list}} expected-error 2{{}} expected-note{{}} 64ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)static_cast<:C c>(&x); // expected-error {{expected '<' after 'static_cast'}} expected-error 2{{}} expected-note{{}} 65ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith 66ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith#define LCC <:: 67ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith test1::A LCC B> e; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 68ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)static_cast LCC c>(&x); // expected-error{{found '<::' after a static_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 69ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith} 70950be71c745409e373ae8a834490f9026c8ac222Richard Trieu 71950be71c745409e373ae8a834490f9026c8ac222Richard Trieutemplate <class T> class D {}; 72950be71c745409e373ae8a834490f9026c8ac222Richard Trieutemplate <class T> void E() {}; 73950be71c745409e373ae8a834490f9026c8ac222Richard Trieuclass F {}; 74950be71c745409e373ae8a834490f9026c8ac222Richard Trieu 75950be71c745409e373ae8a834490f9026c8ac222Richard Trieuvoid test3() { 76950be71c745409e373ae8a834490f9026c8ac222Richard Trieu ::D<::F> A1; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 77950be71c745409e373ae8a834490f9026c8ac222Richard Trieu D<::F> A2; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 78950be71c745409e373ae8a834490f9026c8ac222Richard Trieu ::E<::F>(); // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 79950be71c745409e373ae8a834490f9026c8ac222Richard Trieu E<::F>(); // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 80950be71c745409e373ae8a834490f9026c8ac222Richard Trieu 81950be71c745409e373ae8a834490f9026c8ac222Richard Trieu ::D< ::F> A3; 82950be71c745409e373ae8a834490f9026c8ac222Richard Trieu D< ::F> A4; 83950be71c745409e373ae8a834490f9026c8ac222Richard Trieu ::E< ::F>(); 84950be71c745409e373ae8a834490f9026c8ac222Richard Trieu E< ::F>(); 85950be71c745409e373ae8a834490f9026c8ac222Richard Trieu} 86