gcc/testsuite/g++.dg/tm/jump1.C

   1 // A goto or switch statement shall not be used to transfer control into a
   2 // synchronized or atomic block.
   3 // { dg-options "-fgnu-tm" }
   4
   5 void f()
   6 {
   7   static int i;
   8   synchronized {
   9     ++i;
  10   inside:                       // { dg-message "" }
  11     ++i;
  12   }
  13   goto inside;                  // { dg-message "" }
  14
  15   switch (i)
  16     {
  17       synchronized {
  18         ++i;                    // { dg-warning "statement will never be executed" }
  19       case 42:                  // { dg-error "" }
  20         ++i;
  21       }
  22     }
  23 }