]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/30_threads/future/requirements/lwg3458.cc
1 // Copyright (C) 2020-2023 Free Software Foundation, Inc.
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
18 // { dg-do compile { target c++11 } }
21 // Is shared_future intended to work with arrays or function types?
25 std::future
<int(&)[1]> good
;
26 std::future
<int(&)()> good2
;
28 std::future
<int[1]> bad
; // { dg-error "here" }
29 // { dg-error "result type must not be an array" "" { target *-*-* } 0 }
30 // { dg-prune-output "function returning an array" }
32 std::future
<int()> bad2
; // { dg-error "here" }
33 // { dg-error "result type must not be a function" "" { target *-*-* } 0 }
34 // { dg-prune-output "function returning a function" }
36 struct Indestructible
{ ~Indestructible() = delete; };
37 std::future
<Indestructible
> bad3
; // { dg-error "here" }
38 // { dg-error "result type must be destructible" "" { target *-*-* } 0 }
39 // { dg-prune-output {deleted function} }
41 class PrivateDtor
{ public: PrivateDtor(); private: ~PrivateDtor(); };
42 std::future
<PrivateDtor
> bad4
; // { dg-error "here" }
43 // { dg-prune-output {is private} }