1// { dg-do compile }
2// { dg-options "-std=gnu++0x" }
3
4// 2007-05-03  Benjamin Kosnik  <bkoz@redhat.com>
5//
6// Copyright (C) 2007, 2008, 2009 Free Software Foundation, Inc.
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
11// Free Software Foundation; either version 3, or (at your option)
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
20// with this library; see the file COPYING3.  If not see
21// <http://www.gnu.org/licenses/>.
22
23#include <type_traits>
24#include <testsuite_character.h>
25
26enum test_enum { first_selection };
27
28void test01()
29{
30  using std::make_signed;
31
32  // Negative  tests.
33  typedef make_signed<bool>::type     	test1_type;
34
35  typedef make_signed<__gnu_test::pod_uint>::type     	test2_type;
36
37  typedef make_signed<int[4]>::type     test3_type;
38
39  typedef void (fn_type) ();
40  typedef make_signed<fn_type>::type  	test4_type;
41
42  typedef make_signed<float>::type  	test5_type;
43}
44
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 }
50
51// { dg-error "invalid use of incomplete type" "" { target *-*-* } 588 }
52// { dg-error "declaration of" "" { target *-*-* } 552 }
53
54// { dg-excess-errors "At global scope" }
55// { dg-excess-errors "In instantiation of" }
56