1 /* { dg-do compile } */
2 /* { dg-options "-fgnu-tm -fdump-ipa-tmipa -O" } */
3 
4 int a, trxn, eee;
5 
6 void foo(void) __attribute__((transaction_safe));
7 void bar(void) __attribute__((transaction_safe));
8 void danger(void) __attribute__((transaction_unsafe));
9 
wildthing()10 void wildthing()
11 {
12   /* All blocks should be propagated as irrevocable.  */
13   __transaction_relaxed {
14     if (eee) {
15       if (a)
16 	foo();
17       else
18 	bar();
19       danger();
20     } else {
21       danger();
22     }
23   }
24 }
25 
26 /* { dg-final { scan-ipa-dump-times "GTMA_DOES_GO_IRREVOCABLE" 1 "tmipa" } } */
27 /* { dg-final { scan-ipa-dump-times "bb 3 goes irr" 1 "tmipa" } } */
28 /* { dg-final { scan-ipa-dump-times "bb 4 goes irr" 1 "tmipa" } } */
29 /* { dg-final { scan-ipa-dump-times "bb 5 goes irr" 1 "tmipa" } } */
30 /* { dg-final { scan-ipa-dump-times "bb 6 goes irr" 1 "tmipa" } } */
31 /* { dg-final { scan-ipa-dump-times "bb 7 goes irr" 1 "tmipa" } } */
32 /* { dg-final { scan-ipa-dump-times "bb 8 goes irr" 1 "tmipa" } } */
33 /* { dg-final { scan-ipa-dump-times "bb 9 goes irr" 1 "tmipa" } } */
34 /* { dg-final { cleanup-ipa-dump "tmipa" } } */
35