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