]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/30_threads/shared_future/requirements/lwg3458.cc
1 // Copyright (C) 2020 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::shared_future
<int(&)[1]> good
;
26 std::shared_future
<int(&)()> good2
;
28 std::shared_future
<int[1]> bad
; // { dg-error "here" }
29 // { dg-error "result type must not be an array" "" { target *-*-* } 0 }
31 std::shared_future
<int()> bad2
; // { dg-error "here" }
32 // { dg-error "result type must not be a function" "" { target *-*-* } 0 }
34 struct Indestructible
{ ~Indestructible() = delete; };
35 std::shared_future
<Indestructible
> bad3
; // { dg-error "here" }
36 // { dg-error "result type must be destructible" "" { target *-*-* } 0 }
37 // { dg-prune-output {deleted function} }
39 class PrivateDtor
{ public: PrivateDtor(); private: ~PrivateDtor(); };
40 std::shared_future
<PrivateDtor
> bad4
; // { dg-error "here" }
41 // { dg-prune-output {is private} }