Subversion Repositories openrisc

// PR c++/37962

// Negative test for auto

// { dg-do compile }

// { dg-options "-std=c++0x" }

#include 

#include 

#include 

int i = *(auto *) 0;                            // { dg-error "auto" }

struct A *p = (auto *) 0;                       // { dg-error "auto" }

int *q = static_cast (0);               // { dg-error "auto" }

const int *r = const_cast (q);          // { dg-error "auto" }

const std::type_info &t1 = typeid (auto);  // { dg-error "auto" }

const std::type_info &t2 = typeid (auto *);  // { dg-error "auto" }

struct A

{

  operator auto ();                             // { dg-error "auto" }

  operator auto *();                            // { dg-error "auto" }

};

struct A2

{

  operator auto () -> int;                      // { dg-error "invalid use of" }

  operator auto *() -> int;                     // { dg-error "auto" }

};

template  struct B

{

  enum { e };

};

template  struct C

{

  C () : i () {}

  int i;

};

bool d = (auto (A::*)()) 0;                     // { dg-error "auto" }

void

foo ()

{

  (auto) { 0 };                                 // { dg-error "auto" }

  C c;

  dynamic_cast (c);                     // { dg-error "auto" }

  reinterpret_cast (c);                 // { dg-error "auto" }

  int i = auto (0);                             // { dg-error "auto" }

  auto p1 = new (auto);                         // { dg-error "auto" }

  auto p2 = new (auto) (42);                    // { dg-error "invalid use of|deduce" }

  offsetof (auto, fld);                         // { dg-error "auto" }

  offsetof (auto *, fld);                       // { dg-error "auto" }

  sizeof (auto);                                // { dg-error "auto" }

  sizeof (auto *);                              // { dg-error "auto" }

}

void

foo2 (void)

{

  __alignof__ (auto);                           // { dg-error "auto" }

  __alignof__ (auto *);                         // { dg-error "auto" }

  __typeof__ (auto) v1;                         // { dg-error "auto" }

  __typeof__ (auto *) v2;                       // { dg-error "auto" }

  __is_class (auto);                            // { dg-error "auto|expected" }

  __is_pod (auto *);                            // { dg-error "auto|expected" }

  __is_base_of (int, auto);                     // { dg-error "auto|expected" }

  __is_base_of (auto, int);                     // { dg-error "auto|expected" }

  __is_base_of (auto, auto *);                  // { dg-error "auto|expected" }

}

B b;                                    // { dg-error "auto|invalid" }

C c;                                    // { dg-error "auto|invalid" }

C c2;                                   // { dg-error "auto|invalid" }

enum : auto { EE = 0 };                         // { dg-error "must be an integral type" }

enum struct D : auto * { FF = 0 };              // { dg-error "must be an integral type|declar|expected" }

void

bar ()

{

  try { } catch (auto i) { }                    // { dg-error "parameter declared" }

  try { } catch (auto) { }                      // { dg-error "parameter declared" }

  try { } catch (auto *i) { }                   // { dg-error "parameter declared" }

  try { } catch (auto *) { }                    // { dg-error "parameter declared" }

}

void

baz (int i, ...)

{

  va_list ap;

  va_start (ap, i);

  va_arg (ap, auto);                            // { dg-error "invalid use of" }

  va_arg (ap, auto *);                          // { dg-error "invalid use of|expected" }

  va_arg (ap, auto &);                            // { dg-error "invalid use of|expected" }

  va_end (ap);

}

template  struct E {};  // { dg-error "invalid use of" }

template  struct F {};  // { dg-error "invalid use of|expected" }

auto fnlate () -> auto;                         // { dg-error "invalid use of" }

auto fnlate2 () -> auto *;                      // { dg-error "invalid use of|expected" }

void

badthrow () throw (auto)                        // { dg-error "invalid use of" }

{

}

void

badthrow2 () throw (auto &)                     // { dg-error "invalid use of|expected" }

{

}

template  struct G {};          // { dg-error "auto" }

template  struct H { H (); ~H (); };

H h;                                    // { dg-error "invalid" }

void qq (auto);                 // { dg-error "auto" }

void qr (auto*);                // { dg-error "auto" }

// PR c++/46145

typedef auto autot;             // { dg-error "auto" }