1 // RUN: %clang_cc1 -fsyntax-only -Wno-error=address-of-temporary -verify -std=gnu++11 %s
2 struct X {
3 X();
4 X(int);
5 X(int, int);
6 };
7
f0()8 void f0() { (void)&X(); } // expected-warning{{taking the address of a temporary object}}
f1()9 void f1() { (void)&X(1); } // expected-warning{{taking the address of a temporary object}}
f2()10 void f2() { (void)&X(1, 2); } // expected-warning{{taking the address of a temporary object}}
f3()11 void f3() { (void)&(X)1; } // expected-warning{{taking the address of a temporary object}}
12
13
14 namespace PointerToArrayDecay {
15 struct Y {
16 int a[4];
17 };
18 struct Z {
19 int n;
20 ~Z();
21 };
22
23 typedef int A[4];
24 typedef Z AZ[4];
25
26 template<typename T> void consume(T);
27 struct S { int *p; };
28
g0()29 void g0() { int *p = Y().a; } // expected-warning{{will be destroyed at the end of the full-expression}}
g1()30 void g1() { int *p = Y{}.a; } // expected-warning{{will be destroyed at the end of the full-expression}}
g2()31 void g2() { int *p = A{}; } // expected-warning{{will be destroyed at the end of the full-expression}}
g3()32 void g3() { int *p = (A){}; } // expected-warning{{will be destroyed at the end of the full-expression}}
g4()33 void g4() { Z *p = AZ{}; } // expected-warning{{will be destroyed at the end of the full-expression}}
g5()34 void g5() { Z *p = &(Z&)(AZ{}[0]); } // expected-warning{{will be destroyed at the end of the full-expression}}
35
h0()36 void h0() { consume(Y().a); }
h1()37 void h1() { consume(Y{}.a); }
h2()38 void h2() { consume(A{}); }
h3()39 void h3() { consume((A){}); }
h4()40 void h4() { consume(AZ{}); }
41
i0()42 void i0() { S s = { Y().a }; } // expected-warning{{will be destroyed at the end of the full-expression}}
i1()43 void i1() { S s = { Y{}.a }; } // expected-warning{{will be destroyed at the end of the full-expression}}
i2()44 void i2() { S s = { A{} }; } // expected-warning{{will be destroyed at the end of the full-expression}}
i3()45 void i3() { S s = { (A){} }; } // expected-warning{{will be destroyed at the end of the full-expression}}
46
j0()47 void j0() { (void)S { Y().a }; }
j1()48 void j1() { (void)S { Y{}.a }; }
j2()49 void j2() { (void)S { A{} }; }
j3()50 void j3() { (void)S { (A){} }; }
51
k0()52 void k0() { consume(S { Y().a }); }
k1()53 void k1() { consume(S { Y{}.a }); }
k2()54 void k2() { consume(S { A{} }); }
k3()55 void k3() { consume(S { (A){} }); }
56 }
57