Может ли вызываемый объект напрямую обращаться к переменной стека в вызывающем объекте без указателей в теории?

C является передачей по значению, что означает, что все параметры копируются в кадр стека каждый раз, когда вы вызываете функцию. C также не поддерживает внутренние функции, которые могут получать доступ к локальным переменным или изменять их в лексически объемлющей функции, хотя GNU C делает это как расширение. Единственный способ «передать по ссылке» в C — это передать указатель. Хотя в C++ есть ссылочные типы, это просто указатели за кулисами.

Я подумал о следующем сценарии на гипотетическом низкоуровневом C-подобном языке. Внутри другой функции может быть объявлена ​​функция, видимая только внешней функции и вызываемая только внешней функцией. Если я правильно понимаю, указатель стека увеличивается на фиксированную величину, когда вызывается внутренняя функция, не предполагающая никаких забавных действий, таких как объекты переменного размера. Следовательно, по ходу мыслительного процесса любые локальные переменные, объявленные во внешней функции, будут иметь фиксированные смещения относительно указателя стека даже внутри внутренней функции. Теоретически к ним можно получить доступ так же, как и к другим локальным переменным, без необходимости передачи указателя. И, конечно же, попытка доступа и вызова внутренней функции извне внешней функции приведет к попытке доступа к локальным переменным вне времени жизни во внешней функции и приведет к неопределенному поведению.

Вот иллюстрация: (опять же это не C, а воображаемый C-подобный язык)

void (*address_to_inner)(void);
void outer(void) {
    int a = 10;
    void inner(void) {
        printf("%d\n", a);
    }
    inner(); // Prints 10
    address_to_inner = inner; // Not undefined behavior yet but not good
}
void another(void) {
    outer(); // Prints 10
    address_to_inner(); // Undefined behavior because inner() tries to access `a` after it was deallocated
}

Применим ли мой мыслительный процесс к типичным архитектурам, таким как x86 или ARM? Некоторые функции, такие как автоматическое управление памятью, не поддерживаются в низкоуровневых языках, таких как C, потому что они изначально не поддерживаются архитектурой и требуют слишком много сложной внутренней работы, чтобы быть осуществимыми для низкоуровневого языка. Но является ли мой сценарий «выполнимым» для языка низкого уровня или существуют ли какие-либо архитектурные или технические ограничения, которые я не учел, которые сделали бы реализацию этого нетривиальной в зависимости от того, как работают стековые/локальные переменные и вызовы функций? Если нет, то почему?