main/gcc/testsuite/g++.dg/tm/noexcept-3.C

   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 {
   8   static constexpr bool v() { return false; }
   9 };
  10
  11 int global;
  12
  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
  19 int f1()
  20 {
  21   return foo<TrueFalse>();
  22 }
  23
  24 int f2()
  25 {
  26   return __transaction_atomic noexcept(false) (global + 3)
  27          + __transaction_atomic noexcept(TrueFalse::v()) (global + 4);
  28 }
  29
  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" } } */