Переключатель без дела

Сегодня я случайно обнаружил, что мой компилятор не жалуется при написании кода внутри оператора switch без регистра. (Он жаловался на отсутствие операторов case, но после добавления одного после кода не было ничего, кроме предупреждения о том, что код бесполезен.)

Я пытаюсь выяснить, есть ли цель разрешить следующий код или это просто одна из тех вещей, где «нужно больше работать, чтобы ограничить его, поэтому он разрешен».

#include <iostream>
void foo() {
std::cout << "foo" << std::endl;
}

int main()
{
for (int a = -10; a < 10; ++a)
{
switch(a)
{
foo();
case 4:
std::cout << "4" << std::endl;
}
}
}

Теперь он выдает «4», как и ожидалось, когда a == 4, и никогда не выдает foo. Таким образом, вопрос в том, есть ли какая-то (потенциально эзотерическая, но полезная) причина, позволяющая сделать утверждение foo(); до первого случая? Я точно знаю, что мне не разрешено объявлять и инициализировать переменные там.

(FWIW, я проверил это на нескольких компиляторах, и все они дают одинаковое поведение. Удивительно, но они также не выводят предупреждение.)