Ну и в силу долгой её жизни обросла она кучей переменных в памяти, которые, подозреваю, можно прооверлеить. Есть ли какие-нибудь алгоритмы, которые помогут автоматизировать задачу? Ну то есть, хочу написать утилитку, которая, в идеале, анализирует исходный код и указывает какие переменные можно совместить. Посмотреть - бы исходники. Как вообще это делается примерно? Анализировать исходники компиляторов трудоёмко. Или хотя-бы место покажите в них по конкретнее.