Оператор switch() в avr-gcc, как это должно быть по стандарту? Опции

[ARV]

читать стандарт С99 на английском весьма затруднительно для меня, поэтому прошу ответить тех, кто уже зубы съел на этих стандартах.

в операторе switch допускается указывать до первого вхождения метки case любые операторы, то есть вот так МОЖНО (компилятор не ругается):

Код

switch(var){
   somevar = 12;
   case 0:
      // some code here
}

однако avr-gcc полностью игнорирует эти "предварительные ласки", даже если somevar объявлена как volatile

вопрос знатокам: есть ли тут какие-то ошибки, несоответствия стандарту и т.п. "нюансики"? если можно, но бесполезно - почему вообще можно? почему нет варнинга? если нельзя - почему нет ошибки? ну и так даее...

[_Pasha]

Тема была не тут а на Шараге
Собсна вопрос.

Код

#define step(what) state = __LINE__; what; break; case __LINE__:
int func(void)
{
  unsigned int state=0;
  do
    {
      switch(state)
      {
        case 0:
        step(fread(&obj, sizeof(obj),1,my_file)); // сначала выполнили одно действие из здеся
        step(fread(&obj, sizeof(obj),1,my_file));
        step(fread(&obj, sizeof(obj),1,my_file));
      }
      // затем здесь чегой-то пошаманили, после каждого действия
      int error =ferr(my_file);
      if(error) return error;
    }
  while(!feof(my_file)); // и перешли к выполнению след действия
return 0;
}

Есть ли у такой конструкции устойчивое название?