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()13template<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()19int f1() 20 { 21 return foo<TrueFalse>(); 22 } 23 f2()24int f2() 25 { 26 return __transaction_atomic noexcept(false) (global + 3) 27 + __transaction_atomic noexcept(TrueFalse::v()) (global + 4); 28 } 29 f3()30int 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