clang/test/Parser/cxx-ambig-decl-expr.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 struct X {
   4   template<typename T, typename U>
   5   static void f(int, int);
   6 };
   7
   8 void f() {
   9   void (*ptr)(int, int) = &X::f<int, int>;
  10
  11   unknown *p = 0; // expected-error {{unknown type name 'unknown'}}
  12   unknown * p + 0; // expected-error {{undeclared identifier 'unknown'}}
  13 }
  14
  15 auto (*p)() -> int(nullptr);
  16 auto (*q)() -> int(*)(unknown); // expected-error {{unknown type name 'unknown'}}
  17 auto (*r)() -> int(*)(unknown + 1); // expected-error {{undeclared identifier 'unknown'}}
  18
  19 int f(unknown const x); // expected-error {{unknown type name 'unknown'}}
  20
  21 // Disambiguating an array declarator from an array subscripting.
  22 void arr() {
  23   int x[] = {1}; // expected-note 2{{previous}}
  24
  25   // This is array indexing not an array declarator because a comma expression
  26   // is not syntactically a constant-expression.
  27   int(x[1,1]); // expected-warning {{left operand of comma operator has no effect}} expected-warning {{unused}}
  28
  29   // This is array indexing not an array declaration because a braced-init-list
  30   // is not syntactically a constant-expression.
  31   int(x[{0}]); // expected-error {{array subscript is not an integer}}
  32   struct A {
  33     struct Q { int n; };
  34     int operator[](Q);
  35   } a;
  36   int(a[{0}]); // expected-warning {{unused}}
  37
  38   // These are array declarations.
  39   int(x[((void)1,1)]); // expected-error {{redefinition}}
  40   int(x[true ? 1 : (1,1)]); // expected-error {{redefinition}} // expected-warning {{left operand of comma operator has no effect}}
  41
  42   int (*_Atomic atomic_ptr_to_int);
  43   *atomic_ptr_to_int = 42;
  44 }
  45
  46 namespace function_with_trailing {
  47 struct Foo {
  48   Foo(int);
  49 };
  50 template <typename T> void bar()
  51   { Foo _(T::method()->mem()); }
  52 }