2014-10-17 Ed Schonberg <schonberg@adacore.com>
[official-gcc.git] / libitm / testsuite / libitm.c / cancel.c
blob28276db07a109f4f82059620f537286bcb1d4f22
1 #include <stdlib.h>
2 #include <libitm.h>
4 unsigned char pp[100];
6 void __attribute((transaction_may_cancel_outer,noinline)) cancel1()
8 __transaction_cancel [[outer]];
11 int a, b;
13 int main()
15 a = b = 0;
17 __transaction_atomic {
18 a = 1;
19 __transaction_atomic {
20 b = 1;
21 __transaction_cancel;
24 if (a != 1 || b != 0)
25 abort();
26 if (_ITM_inTransaction() != outsideTransaction)
27 abort();
29 __transaction_atomic [[outer]] {
30 a = 2;
31 __transaction_atomic {
32 b = 2;
33 __transaction_cancel [[outer]];
36 if (a != 1 || b != 0)
37 abort();
38 if (_ITM_inTransaction() != outsideTransaction)
39 abort();
41 __transaction_atomic [[outer]] {
42 a = 2;
43 __transaction_atomic {
44 b = 2;
45 __transaction_cancel [[outer]];
46 cancel1();
49 if (a != 1 || b != 0)
50 abort();
51 if (_ITM_inTransaction() != outsideTransaction)
52 abort();
54 return 0;