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