07b1a567b01bc3411c432393c9b9242b05b87f5e
[gcc.git] / libstdc++-v3 / testsuite / 20_util / ratio / operations / ops_overflow_neg.cc
1 // { dg-do compile }
2 // { dg-options "-std=gnu++0x" }
3 // { dg-require-cstdint "" }
4
5 // 2008-07-03 Chris Fairles <chris.fairles@gmail.com>
6
7 // Copyright (C) 2008, 2009, 2011 Free Software Foundation
8 //
9 // This file is part of the GNU ISO C++ Library. This library is free
10 // software; you can redistribute it and/or modify it under the
11 // terms of the GNU General Public License as published by the
12 // Free Software Foundation; either version 3, or (at your option)
13 // any later version.
14
15 // This library is distributed in the hope that it will be useful,
16 // but WITHOUT ANY WARRANTY; without even the implied warranty of
17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 // GNU General Public License for more details.
19
20 // You should have received a copy of the GNU General Public License
21 // along with this library; see the file COPYING3. If not see
22 // <http://www.gnu.org/licenses/>.
23
24 #include <ratio>
25
26 void
27 test01()
28 {
29 std::ratio_add<std::ratio<INTMAX_MAX, 1>, std::ratio<1>>::type r1;
30 }
31
32 void
33 test02()
34 {
35 std::ratio_multiply<std::ratio<-INTMAX_MAX, 2>, std::ratio<3, 2>>::type r1;
36 std::ratio_multiply<std::ratio<INTMAX_MAX>, std::ratio<INTMAX_MAX>>::type r2;
37 }
38
39 // { dg-error "required from here" "" { target *-*-* } 29 }
40 // { dg-error "required from here" "" { target *-*-* } 35 }
41 // { dg-error "required from here" "" { target *-*-* } 36 }
42 // { dg-error "overflow in addition" "" { target *-*-* } 432 }
43 // { dg-error "overflow in multiplication" "" { target *-*-* } 104 }
44 // { dg-error "overflow in multiplication" "" { target *-*-* } 100 }
45 // { dg-error "overflow in multiplication" "" { target *-*-* } 102 }
46 // { dg-excess-errors "In instantiation of" }
47 // { dg-excess-errors "out of range" }