gcc-4.9/gcc/testsuite/g++.dg/tm/attrib-4.C


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
41
42
43
44
45
46
47
48

// { dg-do compile }
// { dg-options "-fgnu-tm" }

#define __ts	__attribute__((transaction_safe))
#define __tc	__attribute__((transaction_callable))
#define __tp	__attribute__((transaction_pure))
#define __tu	__attribute__((transaction_unsafe))

struct __ts A
{
  virtual void f();
  virtual void g();
};

struct __tc B : public A
{
  void f() __tc;  // { dg-error ".transaction_callable. overriding .transaction_safe." }
  void g();
  virtual void h();
};

struct C : public B
{
  void g() __tc;  // { dg-error ".transaction_callable. overriding .transaction_safe." }
};

struct C2 : public B
{
  void g() __ts;
  void h() __tu;  // { dg-error ".transaction_unsafe. overriding .transaction_callable." }
};

struct D
{
  virtual void f() __tp;
  virtual void g() __tp;
};

struct E : public D
{
  void f() __ts;  // { dg-error ".transaction_safe. overriding .transaction_pure." }
  void g();
};

struct F : public E
{
  void g() __ts;  // { dg-error ".transaction_safe. overriding .transaction_pure." }
};