/* { dg-do compile } */
/* { dg-additional-options "-fallow-store-data-races" } */

char tcube[3][9];
int cur_move;
void perm_cube(void) {
  int i, j, k, tmp;
  for (; i < cur_move; i++)
    while (k-- >= 0)
      switch (j) {
      case 0:
        tmp = tcube[0][6];
        tcube[2][8] = tcube[0][8];
        tcube[0][8] = tmp;
        tmp = tcube[0][5];
        tcube[0][5] = tcube[1][8];
        tcube[1][8] = tcube[2][5];
        tcube[2][5] = tcube[1][2];
        tcube[1][2] = tcube[2][1];
        tcube[2][1] = tcube[1][0];
        tcube[0][6] = tmp;
        tmp = tcube[0][3];
        tcube[0][3] = tcube[1][0];
        tcube[1][0] = tcube[2][3];
        tcube[2][3] = tcube[1][6];
        tcube[1][6] = tmp;
        break;
      case 5:
        tmp = tcube[2][0];
        tcube[2][0] = tcube[2][2];
        tcube[2][2] = tcube[2][8];
        tcube[2][3] = tmp;
      }
}