1 // { dg-do compile { target c++11 } }
2 // { dg-options "-fgnu-tm -O -fdump-tree-tmmark -fdump-tree-tmlower" }
3 
4 // Same as noexcept-1.C but all noexcepts are false.
5 
6 struct TrueFalse
7 {
vTrueFalse8   static constexpr bool v() { return false; }
9 };
10 
11 int global;
12 
foo()13 template<typename T> int foo()
14 {
15   __transaction_atomic noexcept(T::v()) { global += 1; }
16   return __transaction_atomic noexcept(T::v()) (global + 2);
17 }
18 
f1()19 int f1()
20 {
21   return foo<TrueFalse>();
22 }
23 
f2()24 int f2()
25 {
26   return __transaction_atomic noexcept(false) (global + 3)
27          + __transaction_atomic noexcept(TrueFalse::v()) (global + 4);
28 }
29 
f3()30 int f3()
31 {
32   __transaction_atomic noexcept(false) { global += 5; }
33   __transaction_atomic noexcept(TrueFalse::v()) { global += 6; }
34   return global;
35 }
36 
37 /* { dg-final { scan-tree-dump-times "eh_must_not_throw" 0 "tmlower" } } */
38 /* { dg-final { scan-tree-dump-times "ITM_RU" 6 "tmmark" } } */
39 /* { dg-final { cleanup-tree-dump "tmmark" } } */
40 /* { dg-final { cleanup-tree-dump "tmlower" } } */
41