1 // RUN: %clang_cc1 -fsyntax-only -verify %s
3 char *const_cast_test(const char *var)
5 return const_cast<char*>(var);
15 struct B *dynamic_cast_test(struct A *a)
17 return dynamic_cast<struct B*>(a);
20 char *reinterpret_cast_test()
22 return reinterpret_cast<char*>(0xdeadbeef);
25 double static_cast_test(int i)
27 return static_cast<double>(i);
30 char postfix_expr_test()
32 return reinterpret_cast<char*>(0xdeadbeef)[0];
35 // This was being incorrectly tentatively parsed.
37 template <class T> class A {}; // expected-note 2{{here}}
38 void foo() { A<int>(*(A<int>*)0); }
43 void test2(char x, struct B * b) {
44 (void)const_cast<::c>(&x); // expected-error{{found '<::' after a const_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
45 (void)dynamic_cast<::a>(b); // expected-error{{found '<::' after a dynamic_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
46 (void)reinterpret_cast<::c>(x); // expected-error{{found '<::' after a reinterpret_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
47 (void)static_cast<::c>(&x); // expected-error{{found '<::' after a static_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
49 // Do not do digraph correction.
50 (void)static_cast<: :c>(&x); //\
51 expected-error {{expected '<' after 'static_cast'}} \
52 expected-error {{expected expression}}\
53 expected-error {{expected ']'}}\
54 expected-note {{to match this '['}}
55 (void)static_cast<: // expected-error {{expected '<' after 'static_cast'}} \
56 expected-note {{to match this '['}}
57 :c>(&x); // expected-error {{expected expression}} \
58 expected-error {{expected ']'}}
61 test1::A LC:B> c; // expected-error {{cannot refer to class template 'A' without a template argument list}} expected-error 2{{}} expected-note{{}}
62 (void)static_cast LC:c>(&x); // expected-error {{expected '<' after 'static_cast'}} expected-error 2{{}} expected-note{{}}
63 test1::A<:C B> d; // expected-error {{cannot refer to class template 'A' without a template argument list}} expected-error 2{{}} expected-note{{}}
64 (void)static_cast<:C c>(&x); // expected-error {{expected '<' after 'static_cast'}} expected-error 2{{}} expected-note{{}}
67 test1::A LCC B> e; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
68 (void)static_cast LCC c>(&x); // expected-error{{found '<::' after a static_cast which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
71 // This note comes from "::D[:F> A5;"
72 template <class T> class D {}; // expected-note{{template is declared here}}
73 template <class T> void E() {};
77 ::D<::F> A1; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
78 D<::F> A2; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
79 ::E<::F>(); // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
80 E<::F>(); // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
87 // Make sure that parser doesn't expand '[:' to '< ::'
88 ::D[:F> A5; // expected-error {{cannot refer to class template 'D' without a template argument list}} \
89 // expected-error {{expected expression}} \
90 // expected-error {{expected ']'}} \
91 // expected-note {{to match this '['}}