blob: bb6cba3187f55b2b6a8ae8bd8cb7c35aea658042 [file] [log] [blame]
Richard Smith36d02af2012-06-04 22:27:30 +00001// RUN: %clang_cc1 -fsyntax-only -Wno-error=address-of-temporary -verify -std=gnu++11 %s
2struct X {
Douglas Gregore873fb72010-02-16 21:39:57 +00003 X();
4 X(int);
5 X(int, int);
6};
7
Argyrios Kyrtzidis26e10be2010-11-30 22:57:32 +00008void f0() { (void)&X(); } // expected-warning{{taking the address of a temporary object}}
9void f1() { (void)&X(1); } // expected-warning{{taking the address of a temporary object}}
10void f2() { (void)&X(1, 2); } // expected-warning{{taking the address of a temporary object}}
11void f3() { (void)&(X)1; } // expected-warning{{taking the address of a temporary object}}
Douglas Gregore873fb72010-02-16 21:39:57 +000012
Richard Smith36d02af2012-06-04 22:27:30 +000013
14namespace PointerToArrayDecay {
15 struct Y {
16 int a[4];
17 };
18
19 typedef int A[4];
20
21 template<typename T> void consume(T);
22 struct S { int *p; };
23
24 void g0() { int *p = Y().a; } // expected-warning{{pointer is initialized by a temporary array}}
25 void g1() { int *p = Y{}.a; } // expected-warning{{pointer is initialized by a temporary array}}
26 void g2() { int *p = A{}; } // expected-warning{{pointer is initialized by a temporary array}}
27 void g3() { int *p = (A){}; } // expected-warning{{pointer is initialized by a temporary array}}
28
29 void h0() { consume(Y().a); }
30 void h1() { consume(Y{}.a); }
31 void h2() { consume(A{}); }
32 void h3() { consume((A){}); }
33
34 void i0() { S s = { Y().a }; } // expected-warning{{pointer is initialized by a temporary array}}
35 void i1() { S s = { Y{}.a }; } // expected-warning{{pointer is initialized by a temporary array}}
36 void i2() { S s = { A{} }; } // expected-warning{{pointer is initialized by a temporary array}}
37 void i3() { S s = { (A){} }; } // expected-warning{{pointer is initialized by a temporary array}}
38
39 void j0() { (void)S { Y().a }; }
40 void j1() { (void)S { Y{}.a }; }
41 void j2() { (void)S { A{} }; }
42 void j3() { (void)S { (A){} }; }
43
44 void k0() { consume(S { Y().a }); }
45 void k1() { consume(S { Y{}.a }); }
46 void k2() { consume(S { A{} }); }
47 void k3() { consume(S { (A){} }); }
48}