]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc
Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / make_unsigned / requirements / typedefs_neg.cc
CommitLineData
7b50cdef
BK
1// { dg-do compile }
2// { dg-options "-std=gnu++0x" }
3
4// 2007-05-03 Benjamin Kosnik <bkoz@redhat.com>
5//
5b9daa7e 6// Copyright (C) 2007, 2009 Free Software Foundation, Inc.
7b50cdef
BK
7//
8// This file is part of the GNU ISO C++ Library. This library is free
9// software; you can redistribute it and/or modify it under the
10// terms of the GNU General Public License as published by the
748086b7 11// Free Software Foundation; either version 3, or (at your option)
7b50cdef
BK
12// any later version.
13//
14// This library is distributed in the hope that it will be useful,
15// but WITHOUT ANY WARRANTY; without even the implied warranty of
16// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17// GNU General Public License for more details.
18//
19// You should have received a copy of the GNU General Public License along
748086b7
JJ
20// with this library; see the file COPYING3. If not see
21// <http://www.gnu.org/licenses/>.
7b50cdef
BK
22
23#include <type_traits>
24#include <testsuite_character.h>
25
26enum test_enum { first_selection };
27
28void test01()
29{
30 using std::make_unsigned;
31
32 // Negative tests.
33 typedef make_unsigned<bool>::type test1_type;
34
35 typedef make_unsigned<__gnu_test::pod_uint>::type test2_type;
36
37 typedef make_unsigned<int[4]>::type test3_type;
38
39 typedef void (fn_type) ();
40 typedef make_unsigned<fn_type>::type test4_type;
fb8ffd10
BK
41
42 typedef make_unsigned<float>::type test5_type;
7b50cdef
BK
43}
44
748086b7
JJ
45// { dg-error "does not name a type" "" { target *-*-* } 33 }
46// { dg-error "instantiated from here" "" { target *-*-* } 35 }
47// { dg-error "instantiated from here" "" { target *-*-* } 37 }
48// { dg-error "instantiated from here" "" { target *-*-* } 40 }
49// { dg-error "instantiated from here" "" { target *-*-* } 42 }
7b50cdef 50
748086b7
JJ
51// { dg-error "invalid use of incomplete type" "" { target *-*-* } 478 }
52// { dg-error "declaration of" "" { target *-*-* } 440 }
7b50cdef
BK
53
54// { dg-excess-errors "At global scope" }
55// { dg-excess-errors "In instantiation of" }