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  
      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" } } */