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  };
18821b93eec8b58a3e320ef34e7c98906ab61cf8c3Richard Smith  struct Z {
19821b93eec8b58a3e320ef34e7c98906ab61cf8c3Richard Smith    int n;
20821b93eec8b58a3e320ef34e7c98906ab61cf8c3Richard Smith    ~Z();
21821b93eec8b58a3e320ef34e7c98906ab61cf8c3Richard Smith  };
2236d02af300a207242f0486b4255420d8be796b21Richard Smith
2336d02af300a207242f0486b4255420d8be796b21Richard Smith  typedef int A[4];
24821b93eec8b58a3e320ef34e7c98906ab61cf8c3Richard Smith  typedef Z AZ[4];
2536d02af300a207242f0486b4255420d8be796b21Richard Smith
2636d02af300a207242f0486b4255420d8be796b21Richard Smith  template<typename T> void consume(T);
2736d02af300a207242f0486b4255420d8be796b21Richard Smith  struct S { int *p; };
2836d02af300a207242f0486b4255420d8be796b21Richard Smith
2936d02af300a207242f0486b4255420d8be796b21Richard Smith  void g0() { int *p = Y().a; } // expected-warning{{pointer is initialized by a temporary array}}
3036d02af300a207242f0486b4255420d8be796b21Richard Smith  void g1() { int *p = Y{}.a; } // expected-warning{{pointer is initialized by a temporary array}}
3136d02af300a207242f0486b4255420d8be796b21Richard Smith  void g2() { int *p = A{}; } // expected-warning{{pointer is initialized by a temporary array}}
3236d02af300a207242f0486b4255420d8be796b21Richard Smith  void g3() { int *p = (A){}; } // expected-warning{{pointer is initialized by a temporary array}}
33821b93eec8b58a3e320ef34e7c98906ab61cf8c3Richard Smith  void g4() { Z *p = AZ{}; } // expected-warning{{pointer is initialized by a temporary array}}
3436d02af300a207242f0486b4255420d8be796b21Richard Smith
3536d02af300a207242f0486b4255420d8be796b21Richard Smith  void h0() { consume(Y().a); }
3636d02af300a207242f0486b4255420d8be796b21Richard Smith  void h1() { consume(Y{}.a); }
3736d02af300a207242f0486b4255420d8be796b21Richard Smith  void h2() { consume(A{}); }
3836d02af300a207242f0486b4255420d8be796b21Richard Smith  void h3() { consume((A){}); }
39821b93eec8b58a3e320ef34e7c98906ab61cf8c3Richard Smith  void h4() { consume(AZ{}); }
4036d02af300a207242f0486b4255420d8be796b21Richard Smith
4136d02af300a207242f0486b4255420d8be796b21Richard Smith  void i0() { S s = { Y().a }; } // expected-warning{{pointer is initialized by a temporary array}}
4236d02af300a207242f0486b4255420d8be796b21Richard Smith  void i1() { S s = { Y{}.a }; } // expected-warning{{pointer is initialized by a temporary array}}
4336d02af300a207242f0486b4255420d8be796b21Richard Smith  void i2() { S s = { A{} }; } // expected-warning{{pointer is initialized by a temporary array}}
4436d02af300a207242f0486b4255420d8be796b21Richard Smith  void i3() { S s = { (A){} }; } // expected-warning{{pointer is initialized by a temporary array}}
4536d02af300a207242f0486b4255420d8be796b21Richard Smith
4636d02af300a207242f0486b4255420d8be796b21Richard Smith  void j0() { (void)S { Y().a }; }
4736d02af300a207242f0486b4255420d8be796b21Richard Smith  void j1() { (void)S { Y{}.a }; }
4836d02af300a207242f0486b4255420d8be796b21Richard Smith  void j2() { (void)S { A{} }; }
4936d02af300a207242f0486b4255420d8be796b21Richard Smith  void j3() { (void)S { (A){} }; }
5036d02af300a207242f0486b4255420d8be796b21Richard Smith
5136d02af300a207242f0486b4255420d8be796b21Richard Smith  void k0() { consume(S { Y().a }); }
5236d02af300a207242f0486b4255420d8be796b21Richard Smith  void k1() { consume(S { Y{}.a }); }
5336d02af300a207242f0486b4255420d8be796b21Richard Smith  void k2() { consume(S { A{} }); }
5436d02af300a207242f0486b4255420d8be796b21Richard Smith  void k3() { consume(S { (A){} }); }
5536d02af300a207242f0486b4255420d8be796b21Richard Smith}
56