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{{pointer is initialized by a temporary array}}
g1()30 void g1() { int *p = Y{}.a; } // expected-warning{{pointer is initialized by a temporary array}}
g2()31 void g2() { int *p = A{}; } // expected-warning{{pointer is initialized by a temporary array}}
g3()32 void g3() { int *p = (A){}; } // expected-warning{{pointer is initialized by a temporary array}}
g4()33 void g4() { Z *p = AZ{}; } // expected-warning{{pointer is initialized by a temporary array}}
34
h0()35 void h0() { consume(Y().a); }
h1()36 void h1() { consume(Y{}.a); }
h2()37 void h2() { consume(A{}); }
h3()38 void h3() { consume((A){}); }
h4()39 void h4() { consume(AZ{}); }
40
i0()41 void i0() { S s = { Y().a }; } // expected-warning{{pointer is initialized by a temporary array}}
i1()42 void i1() { S s = { Y{}.a }; } // expected-warning{{pointer is initialized by a temporary array}}
i2()43 void i2() { S s = { A{} }; } // expected-warning{{pointer is initialized by a temporary array}}
i3()44 void i3() { S s = { (A){} }; } // expected-warning{{pointer is initialized by a temporary array}}
45
j0()46 void j0() { (void)S { Y().a }; }
j1()47 void j1() { (void)S { Y{}.a }; }
j2()48 void j2() { (void)S { A{} }; }
j3()49 void j3() { (void)S { (A){} }; }
50
k0()51 void k0() { consume(S { Y().a }); }
k1()52 void k1() { consume(S { Y{}.a }); }
k2()53 void k2() { consume(S { A{} }); }
k3()54 void k3() { consume(S { (A){} }); }
55 }
56