// RUN: %clang_cc1 -O2 -triple=x86_64-unknown-linux-gnu -emit-llvm %s -o -  | FileCheck %s
struct agg 
{
int a ;
int b ;
} t;
struct agg a;
int vt=10;
_Complex float cf;
int volatile vol =10;
void f0() {
    const_cast<volatile _Complex float &>(cf) = const_cast<volatile _Complex float&>(cf) + 1;
//  CHECK: [[Re1:%.*]] = load volatile float, ptr @cf
//  CHECK: [[Im1:%.*]] = load volatile float, ptr getelementptr
//  CHECK: [[Add1:%.*]] = fadd float [[Re1]], 1.000000e+00
//  CHECK: store volatile float [[Add1]], ptr @cf
//  CHECK: store volatile float [[Im1]], ptr getelementptr
      static_cast<volatile _Complex float &>(cf) = static_cast<volatile _Complex float&>(cf) + 1;
//  CHECK: [[Re2:%.*]] = load volatile float, ptr @cf
//  CHECK: [[Im2:%.*]] = load volatile float, ptr getelementptr
//  CHECK: [[Add2:%.*]] = fadd float [[Re2]], 1.000000e+00
//  CHECK: store volatile float [[Add2]], ptr @cf
//  CHECK: store volatile float [[Im2]], ptr getelementptr
    const_cast<volatile  int  &>(a.a) = const_cast<volatile int &>(t.a) ;
//  CHECK: [[I1:%.*]] = load volatile i32, ptr @t
//  CHECK: store volatile i32 [[I1]], ptr @a
    static_cast<volatile  int  &>(a.b) = static_cast<volatile int  &>(t.a) ;
//  CHECK: [[I2:%.*]] = load volatile i32, ptr @t
//  CHECK: store volatile i32 [[I2]], ptr getelementptr
    const_cast<volatile int&>(vt) = const_cast<volatile int&>(vt) + 1;
//  CHECK: [[I3:%.*]] = load volatile i32, ptr @vt
//  CHECK: [[Add3:%.*]] = add nsw i32 [[I3]], 1
//  CHECK: store volatile i32 [[Add3]], ptr @vt
     static_cast<volatile int&>(vt) = static_cast<volatile int&>(vt) + 1;
//  CHECK: [[I4:%.*]] = load volatile i32, ptr @vt
//  CHECK: [[Add4:%.*]] = add nsw i32 [[I4]], 1
//  CHECK: store volatile i32 [[Add4]], ptr @vt
    vt = const_cast<int&>(vol);
//  [[I5:%.*]] = load i32, ptr @vol
//  store i32 [[I5]], ptr @vt
}