// RUN: clang-cc -fsyntax-only -verify %s

// Tests that dependent expressions are always allowed, whereas non-dependent
// are checked as usual.

#include <stddef.h>

// Fake typeid, lacking a typeinfo header.
namespace std { class type_info {}; }

struct dummy {};

template<typename T>
int f0(T x) {
  return (sizeof(x) == sizeof(int))? 0 : (sizeof(x) == sizeof(double))? 1 : 2;
}

template <typename T, typename U>
T f1(T t1, U u1, int i1)
{
  T t2 = i1;
  t2 = i1 + u1;
  ++u1;
  u1++;
  int i2 = u1;

  i1 = t1[u1];
  i1 *= t1;

  i1(u1, t1); // error
  u1(i1, t1);

  U u2 = (T)i1;
  static_cast<void>(static_cast<U>(reinterpret_cast<T>(
    dynamic_cast<U>(const_cast<T>(i1)))));

  new U(i1, t1);
  new int(t1, u1); // expected-error {{initializer of a builtin type can only take one argument}}
  new (t1, u1) int;
  delete t1;

  dummy d1 = sizeof(t1); // FIXME: delayed checking okay?
  dummy d2 = offsetof(T, foo); // expected-error {{cannot initialize 'd2'}}
  dummy d3 = __alignof(u1); // FIXME: delayed checking okay?
  i1 = typeid(t1); // expected-error {{incompatible type assigning}}

  return u1;
}