Как один проход C компилятор справляется с метками?

Question

Иногда метки используются перед объявлением, например:

void test() {
  goto label;
  label: return;
}

, когда однопроходный компилятор анализирует первый оператор, он не знает, где находится метка, пока не придет оператор label:.

Так как однопроходный компилятор анализирует код только один раз, нет никакого способа оставить label в покое и вернуться позже, верно?

Так, как обычно поступают с этимв одном компиляторе?

Answer 1

Две возможности:

1. Backpatch.Используйте поле адреса назначения в сгенерированной операции ветвления, чтобы создать связанный список неразрешенных вариантов использования метки, поместив заголовок списка в таблицу символов метки.Когда метка определена, пройдитесь по списку, переписав («исправляя») каждую ссылку с правильным значением.

2. Если вам разрешено генерировать символьный код сборки, просто выведите меткуимя и пусть ассемблер справится с этим.