1 // { dg-do compile }
2 // { dg-options "-std=gnu++11" }
3 // { dg-require-cstdint "" }
4
5 // 2008-07-03 Chris Fairles <chris.fairles@gmail.com>
6
7 // Copyright (C) 2008-2016 Free Software Foundation, Inc.
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
test01()27 test01()
28 {
29 std::ratio_add<std::ratio<INTMAX_MAX, 1>, std::ratio<1>>::type r1
30 __attribute__((unused));
31 }
32
33 void
test02()34 test02()
35 {
36 std::ratio_multiply<std::ratio<-INTMAX_MAX, 2>, std::ratio<3, 2>>::type r1
37 __attribute__((unused));
38 std::ratio_multiply<std::ratio<INTMAX_MAX>, std::ratio<INTMAX_MAX>>::type r2
39 __attribute__((unused));
40 }
41
42 // { dg-error "required from here" "" { target *-*-* } 29 }
43 // { dg-error "expected initializer" "" { target *-*-* } 36 }
44 // { dg-error "expected initializer" "" { target *-*-* } 38 }
45 // { dg-error "overflow in addition" "" { target *-*-* } 435 }
46 // { dg-error "overflow in multiplication" "" { target *-*-* } 97 }
47 // { dg-error "overflow in multiplication" "" { target *-*-* } 99 }
48 // { dg-error "overflow in multiplication" "" { target *-*-* } 101 }
49 // { dg-error "overflow in constant expression" "" { target *-*-* } 108 }
50 // { dg-prune-output "out of range" }
51 // { dg-prune-output "not usable in a constant expression" }
52