1// 2006-06-04 Stephen M. Webb <stephen.webb@bregmasoft.com> 2// 3// Copyright (C) 2006, 2009 Free Software Foundation, Inc. 4// 5// This file is part of the GNU ISO C++ Library. This library is free 6// software; you can redistribute it and/or modify it under the 7// terms of the GNU General Public License as published by the 8// Free Software Foundation; either version 3, or (at your option) 9// any later version. 10// 11// This library is distributed in the hope that it will be useful, 12// but WITHOUT ANY WARRANTY; without even the implied warranty of 13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14// GNU General Public License for more details. 15// 16// You should have received a copy of the GNU General Public License along 17// with this library; see the file COPYING3. If not see 18// <http://www.gnu.org/licenses/>. 19 20// 5.1.4.3 class template subtract_with_carry [tr.rand.eng.sub] 21// 5.1.1 Table 16 22 23#include <tr1/random> 24#include <testsuite_hooks.h> 25 26void 27test01() 28{ 29 bool test __attribute__((unused)) = true; 30 using namespace std::tr1; 31 32 subtract_with_carry<unsigned long, (1UL << 24), 10, 24> u(1); 33 subtract_with_carry<unsigned long, (1UL << 24), 10, 24> v(2); 34 35 VERIFY( u != v ); 36} 37 38int main() 39{ 40 test01(); 41 return 0; 42} 43