// RUN: %clang_cc1 -ast-print -verify -triple=x86_64-pc-win32 -fms-compatibility %s -o - | FileCheck %s
// RUN: %clang_cc1 -triple=x86_64-pc-win32 -fms-compatibility -emit-pch -o %t %s
// RUN: %clang_cc1 -triple=x86_64-pc-win32 -fms-compatibility -include-pch %t -verify %s -ast-print -o - | FileCheck %s
// expected-no-diagnostics

#ifndef HEADER
#define HEADER

class Test1 {
private:
  int x_;

public:
  Test1(int x) : x_(x) {}
  __declspec(property(get = get_x)) int X;
  int get_x() const { return x_; }
  static Test1 *GetTest1() { return new Test1(10); }
};

class S {
public:
  __declspec(property(get=GetX,put=PutX)) int x[];
  int GetX(int i, int j) { return i+j; }
  void PutX(int i, int j, int k) { j = i = k; }
  __declspec(property(get=GetY,put=PutY)) int y[][];
  int GetY(int i, int j) { return i+j; }
  void PutY(int i, int j, int k) { j = i = k; }
  __declspec(property(get=GetZ,put=PutZ)) int z[][][];
  int GetZ(int i, int j, int k);
  void PutZ(int i, int j, int k, int val);
};

template <typename T>
class St {
public:
  __declspec(property(get=GetX,put=PutX)) T x[];
  T GetX(T i, T j) { return i+j; }
  T PutX(T i, T j, T k) { return j = i = k; }
  __declspec(property(get=GetY,put=PutY)) T y[][];
  T GetY(T i, T j) { return i+j; }
  T PutY(T i, T j, T k) { return j = i = k; }
  __declspec(property(get=GetZ,put=PutZ)) T z[][][];
  T GetZ(T i, T j, T k) { return i+j+k; }
  T PutZ(T i, T j, T k, T v) { return j = i = k = v; }
  ~St() { x[0][0] = x[1][1]; y[0][0] = x[1][1]; z[0][1][2] = z[2][1][0]; }
};

// CHECK: this->x[0][0] = this->x[1][1];
// CHECK: this->y[0][0] = this->x[1][1];
// CHECK: this->z[0][1][2] = this->z[2][1][0];
// CHECK: this->x[0][0] = this->x[1][1];
// CHECK: this->y[0][0] = this->x[1][1];
// CHECK: this->z[0][1][2] = this->z[2][1][0];

// CHECK-LABEL: main
int main(int argc, char **argv) {
  S *p1 = 0;
  St<float> *p2 = 0;
  // CHECK: St<int> a;
  St<int> a;
  // CHECK-NEXT: int j = (p1->x)[223][11];
  int j = (p1->x)[223][11];
  // CHECK-NEXT: (p1->x[23])[1] = j;
  (p1->x[23])[1] = j;
  // CHECK-NEXT: int k = (p1->y)[223][11];
  int k = (p1->y)[223][11];
  // CHECK-NEXT: (p1->y[23])[1] = k;
  (p1->y[23])[1] = k;
  // CHECK-NEXT: int k3 = p1->z[1][2][3];
  int k3 = p1->z[1][2][3];
  // CHECK-NEXT: p1->z[0][2][1] = k3;
  p1->z[0][2][1] = k3;
  // CHECK-NEXT: float j1 = (p2->x[223][11]);
  float j1 = (p2->x[223][11]);
  // CHECK-NEXT: ((p2->x)[23])[1] = j1;
  ((p2->x)[23])[1] = j1;
  // CHECK-NEXT: float k1 = (p2->y[223][11]);
  float k1 = (p2->y[223][11]);
  // CHECK-NEXT: ((p2->y)[23])[1] = k1;
  ((p2->y)[23])[1] = k1;
  // CHECK-NEXT: ++(((p2->x)[23])[1]);
  ++(((p2->x)[23])[1]);
  // CHECK-NEXT: j1 = ((p2->x)[23])[1] = j1;
  j1 = ((p2->x)[23])[1] = j1;
  // CHECK-NEXT: return Test1::GetTest1()->X;
  return Test1::GetTest1()->X;
}
#endif // HEADER