1  /* { dg-do compile } */
       2  /* { dg-options "-fgnu-tm -fdump-ipa-tmipa -O" } */
       3  
       4  int a;
       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 (a)
      15        foo();
      16      else
      17        bar();
      18      danger();
      19    }
      20  }
      21  
      22  /* { dg-final { scan-ipa-dump-times "GTMA_DOES_GO_IRREVOCABLE" 1 "tmipa" } } */
      23  /* { dg-final { scan-ipa-dump-times "bb 3 goes irr" 1 "tmipa" } } */
      24  /* { dg-final { scan-ipa-dump-times "bb 4 goes irr" 1 "tmipa" } } */
      25  /* { dg-final { scan-ipa-dump-times "bb 5 goes irr" 1 "tmipa" } } */
      26  /* { dg-final { scan-ipa-dump-times "bb 6 goes irr" 1 "tmipa" } } */