136d02af300a207242f0486b4255420d8be796b21Richard Smith// RUN: %clang_cc1 -fsyntax-only -Wno-error=address-of-temporary -verify -std=gnu++11 %s
236d02af300a207242f0486b4255420d8be796b21Richard Smithstruct X {
3e873fb74219f48407ae0b8fa083aa7f0b6ff1427Douglas Gregor  X();
4e873fb74219f48407ae0b8fa083aa7f0b6ff1427Douglas Gregor  X(int);
5e873fb74219f48407ae0b8fa083aa7f0b6ff1427Douglas Gregor  X(int, int);
6e873fb74219f48407ae0b8fa083aa7f0b6ff1427Douglas Gregor};
7e873fb74219f48407ae0b8fa083aa7f0b6ff1427Douglas Gregor
826e10bea3d2e9d2979194890e51b98ecea165a96Argyrios Kyrtzidisvoid f0() { (void)&X(); } // expected-warning{{taking the address of a temporary object}}
926e10bea3d2e9d2979194890e51b98ecea165a96Argyrios Kyrtzidisvoid f1() { (void)&X(1); } // expected-warning{{taking the address of a temporary object}}
1026e10bea3d2e9d2979194890e51b98ecea165a96Argyrios Kyrtzidisvoid f2() { (void)&X(1, 2); } // expected-warning{{taking the address of a temporary object}}
1126e10bea3d2e9d2979194890e51b98ecea165a96Argyrios Kyrtzidisvoid f3() { (void)&(X)1; } // expected-warning{{taking the address of a temporary object}}
12e873fb74219f48407ae0b8fa083aa7f0b6ff1427Douglas Gregor
1336d02af300a207242f0486b4255420d8be796b21Richard Smith
1436d02af300a207242f0486b4255420d8be796b21Richard Smithnamespace PointerToArrayDecay {
1536d02af300a207242f0486b4255420d8be796b21Richard Smith  struct Y {
1636d02af300a207242f0486b4255420d8be796b21Richard Smith    int a[4];
1736d02af300a207242f0486b4255420d8be796b21Richard Smith  };
1836d02af300a207242f0486b4255420d8be796b21Richard Smith
1936d02af300a207242f0486b4255420d8be796b21Richard Smith  typedef int A[4];
2036d02af300a207242f0486b4255420d8be796b21Richard Smith
2136d02af300a207242f0486b4255420d8be796b21Richard Smith  template<typename T> void consume(T);
2236d02af300a207242f0486b4255420d8be796b21Richard Smith  struct S { int *p; };
2336d02af300a207242f0486b4255420d8be796b21Richard Smith
2436d02af300a207242f0486b4255420d8be796b21Richard Smith  void g0() { int *p = Y().a; } // expected-warning{{pointer is initialized by a temporary array}}
2536d02af300a207242f0486b4255420d8be796b21Richard Smith  void g1() { int *p = Y{}.a; } // expected-warning{{pointer is initialized by a temporary array}}
2636d02af300a207242f0486b4255420d8be796b21Richard Smith  void g2() { int *p = A{}; } // expected-warning{{pointer is initialized by a temporary array}}
2736d02af300a207242f0486b4255420d8be796b21Richard Smith  void g3() { int *p = (A){}; } // expected-warning{{pointer is initialized by a temporary array}}
2836d02af300a207242f0486b4255420d8be796b21Richard Smith
2936d02af300a207242f0486b4255420d8be796b21Richard Smith  void h0() { consume(Y().a); }
3036d02af300a207242f0486b4255420d8be796b21Richard Smith  void h1() { consume(Y{}.a); }
3136d02af300a207242f0486b4255420d8be796b21Richard Smith  void h2() { consume(A{}); }
3236d02af300a207242f0486b4255420d8be796b21Richard Smith  void h3() { consume((A){}); }
3336d02af300a207242f0486b4255420d8be796b21Richard Smith
3436d02af300a207242f0486b4255420d8be796b21Richard Smith  void i0() { S s = { Y().a }; } // expected-warning{{pointer is initialized by a temporary array}}
3536d02af300a207242f0486b4255420d8be796b21Richard Smith  void i1() { S s = { Y{}.a }; } // expected-warning{{pointer is initialized by a temporary array}}
3636d02af300a207242f0486b4255420d8be796b21Richard Smith  void i2() { S s = { A{} }; } // expected-warning{{pointer is initialized by a temporary array}}
3736d02af300a207242f0486b4255420d8be796b21Richard Smith  void i3() { S s = { (A){} }; } // expected-warning{{pointer is initialized by a temporary array}}
3836d02af300a207242f0486b4255420d8be796b21Richard Smith
3936d02af300a207242f0486b4255420d8be796b21Richard Smith  void j0() { (void)S { Y().a }; }
4036d02af300a207242f0486b4255420d8be796b21Richard Smith  void j1() { (void)S { Y{}.a }; }
4136d02af300a207242f0486b4255420d8be796b21Richard Smith  void j2() { (void)S { A{} }; }
4236d02af300a207242f0486b4255420d8be796b21Richard Smith  void j3() { (void)S { (A){} }; }
4336d02af300a207242f0486b4255420d8be796b21Richard Smith
4436d02af300a207242f0486b4255420d8be796b21Richard Smith  void k0() { consume(S { Y().a }); }
4536d02af300a207242f0486b4255420d8be796b21Richard Smith  void k1() { consume(S { Y{}.a }); }
4636d02af300a207242f0486b4255420d8be796b21Richard Smith  void k2() { consume(S { A{} }); }
4736d02af300a207242f0486b4255420d8be796b21Richard Smith  void k3() { consume(S { (A){} }); }
4836d02af300a207242f0486b4255420d8be796b21Richard Smith}
49