Что такое SSA в Go компиляторе?

SSA (Static Single Assignment) — это промежуточное представление кода в компиляторе, где каждой переменной присваивается значение ровно один раз. Go перешёл на SSA в версии 1.7, и это дало заметное ускорение. На SSA удобно делать оптимизации: dead code elimination, constant propagation, common subexpression elimination. Посмотреть SSA можно через GOSSAFUNC=main go build.