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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/* { dg-do compile } */
/* { dg-options "-fgnu-tm" } */
void ts(void) __attribute__((transaction_safe));
void tp(void) __attribute__((transaction_pure));
void tc(void) __attribute__((transaction_callable));
void ti(void) __attribute__((transaction_unsafe));
void tm(void) __attribute__((transaction_may_cancel_outer));
void tu(void);
int fc(int) __attribute__((const));
typedef void (*Fs) (void) __attribute__((transaction_safe));
typedef void (*Fc) (void) __attribute__((transaction_callable));
typedef void (*Fi) (void) __attribute__((transaction_unsafe));
typedef void (*Fm) (void) __attribute__((transaction_may_cancel_outer));
extern Fs ps;
extern Fc pc;
extern Fi pi;
extern Fm pm;
extern void (*pu)(void);
int __attribute__((transaction_safe))
foo(void)
{
int i;
ts();
tp();
tc(); /* { dg-error "unsafe function call" } */
ti(); /* { dg-error "unsafe function call" } */
/* ??? Direct function calls without markups are handled later
than pass_diagnose_tm_blocks, which means we'll exit with
errors before getting there. This test moved to safe-3.c. */
/* tu(); */
(*ps)();
(*pc)(); /* { dg-error "unsafe indirect function call" } */
(*pi)(); /* { dg-error "unsafe indirect function call" } */
(*pu)(); /* { dg-error "unsafe indirect function call" } */
asm(""); /* { dg-error "asm not allowed" } */
asm("" : "=g"(i)); /* { dg-error "asm not allowed" } */
return fc(i);
}
int __attribute__((transaction_may_cancel_outer))
bar(void)
{
int i;
ts();
tp();
tc(); /* { dg-error "unsafe function call" } */
ti(); /* { dg-error "unsafe function call" } */
tm();
(*ps)();
(*pc)(); /* { dg-error "unsafe indirect function call" } */
(*pi)(); /* { dg-error "unsafe indirect function call" } */
(*pm)();
(*pu)(); /* { dg-error "unsafe indirect function call" } */
asm(""); /* { dg-error "asm not allowed" } */
asm("" : "=g"(i)); /* { dg-error "asm not allowed" } */
return fc(i);
}
|
