1// { dg-do compile } 2// 3// 2006-08-22 Paolo Carlini <pcarlini@suse.de> 4// 5// Copyright (C) 2006, 2009 Free Software Foundation, Inc. 6// 7// This file is part of the GNU ISO C++ Library. This library is free 8// software; you can redistribute it and/or modify it under the 9// terms of the GNU General Public License as published by the 10// Free Software Foundation; either version 3, or (at your option) 11// any later version. 12// 13// This library is distributed in the hope that it will be useful, 14// but WITHOUT ANY WARRANTY; without even the implied warranty of 15// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16// GNU General Public License for more details. 17// 18// You should have received a copy of the GNU General Public License along 19// with this library; see the file COPYING3. If not see 20// <http://www.gnu.org/licenses/>. 21 22// 5.1.4.4 Class template subtract_with_carry_01 23// 5.1.1 [1] Table 15 24 25#include <tr1/random> 26 27void 28test01() 29{ 30 typedef std::tr1::subtract_with_carry_01<float, 24, 10, 24> test_type; 31 32 typedef test_type::result_type result_type; 33} 34