Запись активации в GNU C (вложенная функция)

В GNU C результат равен 13. Потому что используется статическая ссылка.
В противном случае, если используется динамическая связь, результат будет равен 16.

#include <stdio.h>

int h(){
    int x = 1;
    int g(int z){
        return z + x;     <------------------ P
    }
    int f(int y){
        int x = y + 1;
        return g(x * y);   
    }
    return f(3);
}

int main(){
    int a = h();
    printf("%dn", a);
}

В точке P запись активации равна

Z = 12

X = 4

Y = 3

F и указатель на код f

G и указатель на код g

X = 1

H и указатель на код h

A

Main и указатель на код main

1. Это правда?
   Однако, если функция g возвращает, как это происходит?
   Активация для g и активация для переменной z удаляются.
   Затем в рамке стека просматривается отверстие.

2. Дыра действительно появилась?

3. И согласно встроенному блоку, в функции h,
   переменная x является самым внешним блоком. (Это означает, что блок функции g' вложен в блок переменной x) следующий внешний блок-это функция g, следующая функция f... тогда делать статическая ссылка функции f на указатель фрейма функции g? Или указатель фрейма функции h? А как насчет статической связи функции g?