тоесть ты хочешь сказать, что 100% локальных переменных определённых в функции на расте/си/плюсах будут иметь отпечаток на стеке?
А, ты про регистры говоришь. Я что-то подумал, что ты намекаешь на то что escape-analysis не всегда работает в языках с GC.