Где они расположены? Кто за этим следит? Мы что-то изменили до метки, мы предполагаем, что компилятор сделает такой-то код до метки и переменные будут иметь нужное значение. Почему? Да он как хочешь может это откомпилить и оптимизировать. Не факт, что мы ставим метку на реальный код. Изменится что-то, появится сходная конструкция в другом куске программы и компилятор сделает подпрограмму, которую будет вызывать нужное количество раз. Кейл делает это сплошь и рядом. И никто не поймет, почему работавшая раньше программа вдруг ведет себя непредсказуемо. В доках некоторых компиляторов четко написано - не применять GOTO с выходом из каких либо скобок, не ставить метки на код внутри скобок. Это не ассемблер, ну думайте уже на Си, раз на нем пишете.