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 : 614b02dff7aebb98d2d60b2ff4d3fc86109213128cDavid Blaikie test1::A LC:B> c; // expected-error {{class template 'test1::A' requires template arguments}} expected-error 2{{}} 62ea698b3f6cad84f7f583282dce3e03e24fe80e98Richard Smith (void)static_cast LC:c>(&x); // expected-error {{expected '<' after 'static_cast'}} expected-error 2{{}} expected-note{{}} 634b02dff7aebb98d2d60b2ff4d3fc86109213128cDavid Blaikie test1::A<:C B> d; // expected-error {{class template 'test1::A' requires template arguments}} expected-error 2{{}} 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 71c11030ea936f6952deb5a1423ce1648173cd417eRichard Trieu // This note comes from "::D[:F> A5;" 72c11030ea936f6952deb5a1423ce1648173cd417eRichard Trieutemplate <class T> class D {}; // expected-note{{template is declared here}} 73950be71c745409e373ae8a834490f9026c8ac222Richard Trieutemplate <class T> void E() {}; 74950be71c745409e373ae8a834490f9026c8ac222Richard Trieuclass F {}; 75950be71c745409e373ae8a834490f9026c8ac222Richard Trieu 76950be71c745409e373ae8a834490f9026c8ac222Richard Trieuvoid test3() { 77950be71c745409e373ae8a834490f9026c8ac222Richard Trieu ::D<::F> A1; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 78950be71c745409e373ae8a834490f9026c8ac222Richard Trieu D<::F> A2; // 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 E<::F>(); // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 81950be71c745409e373ae8a834490f9026c8ac222Richard Trieu 82950be71c745409e373ae8a834490f9026c8ac222Richard Trieu ::D< ::F> A3; 83950be71c745409e373ae8a834490f9026c8ac222Richard Trieu D< ::F> A4; 84950be71c745409e373ae8a834490f9026c8ac222Richard Trieu ::E< ::F>(); 85950be71c745409e373ae8a834490f9026c8ac222Richard Trieu E< ::F>(); 86c11030ea936f6952deb5a1423ce1648173cd417eRichard Trieu 87c11030ea936f6952deb5a1423ce1648173cd417eRichard Trieu // Make sure that parser doesn't expand '[:' to '< ::' 884b02dff7aebb98d2d60b2ff4d3fc86109213128cDavid Blaikie ::D[:F> A5; // expected-error {{class template '::D' requires template arguments}} \ 89c11030ea936f6952deb5a1423ce1648173cd417eRichard Trieu // expected-error {{expected expression}} \ 900576681bac125be07f77f66b02a3dba2c3a24557Richard Smith // expected-error {{expected unqualified-id}} 91950be71c745409e373ae8a834490f9026c8ac222Richard Trieu} 9278fe3e05a9ea1fc670e5cb0bc54f54e064595e2cRichard Smith 936bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// Ensure that a C-style cast doesn't turn off colon protection. 946bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesvoid PR19748() { 956bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines struct A {}; 966bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines int A = 0, b; 976bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines int test1 = true ? (int)A : b; 986bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 996bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines struct f {}; 1006bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines extern B f(), (*p)(); 1016bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines (true ? (B(*)())f : p)(); 1026bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines} 1036bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 104176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid PR19751(int n) { 105176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines struct T { void operator++(int); }; 106176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines (T())++; // ok, not an ill-formed cast to function type 107176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines (T())++n; // expected-error {{C-style cast from 'int' to 'T ()' is not allowed}} 108176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines} 109176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 11078fe3e05a9ea1fc670e5cb0bc54f54e064595e2cRichard Smith// PR13619. Must be at end of file. 11178fe3e05a9ea1fc670e5cb0bc54f54e064595e2cRichard Smithint n = reinterpret_cast // expected-error {{expected '<'}} expected-error {{expected ';'}} 112