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

[ARV]

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

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

Код

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

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

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

[ReAl]

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

Код

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

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

Вот как раз (кажется, во второй раз на этом форуме, но не нашёл предыдущего... а, может, это на другом форуме было)
http://electronix.ru/forum/index.php?s=&am...t&p=1030014
Предупреждение на строку somevar = 12; может быть максимум Unreachable code, т.е. такое же, как на

Код

int a;

void foo()
{
    goto lab1;
    {
        a = 0; // unreachable code и никакой volatile не поможет, тут может быть только определение static-объекта
lab1:
        a = 3;
        return;
        a = 4;  // unreachable code
    }
}

было -Wall... с вашим советом Warning появился, но какой-то странный: я сделал 2 строки с подобным кодом, но предупреждение выпало только на первую их них...

Есть предупреждения, которые выдаются только на одну строку. Тут — на первую строку фрагмента.
Ещё бывает «переменная может использоваться без инициализации».
Иногда он сам говорит, что предупреждение или ошибка выдаётся только на первое вхождение того, о чём ругань.

[_Pasha]

Ещё бывает «переменная может использоваться без инициализации».

т.е. если

Код

void foo()
{
    goto lab1;
    {
        int a = 0;//именно тот случай
lab1:
        a = 3;
        return;
        a = 4;  // unreachable code
    }
}