1// { dg-do compile }
2// -*- C++ -*-
3
4// Copyright (C) 2006-2015 Free Software Foundation, Inc.
5//
6// This file is part of the GNU ISO C++ Library.  This library is free
7// software; you can redistribute it and/or modify it under the
8// terms of the GNU General Public License as published by the
9// Free Software Foundation; either version 3, or (at your option)
10// any later version.
11//
12// This library is distributed in the hope that it will be useful,
13// but WITHOUT ANY WARRANTY; without even the implied warranty of
14// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15// GNU General Public License for more details.
16//
17// You should have received a copy of the GNU General Public License along
18// with this library; see the file COPYING3.  If not see
19// <http://www.gnu.org/licenses/>.
20
21#include <ext/type_traits.h>
22#include <tr1/type_traits>
23
24template<typename T>
25  void
26  check_add_unsigned()
27  {
28    typedef typename __gnu_cxx::__add_unsigned<T>::__type unsigned_type;
29  }
30
31int main()
32{
33  check_add_unsigned<float>();  // { dg-error "required from" }
34  return 0;
35}
36
37// { dg-error "required from" "" { target *-*-* } 28 }
38// { dg-error "no type" "" { target *-*-* } 69 }
39